[JanMove]

Waterhouse hat damit recht, dass es sich in dem Katzenbeispiel um keine Wenn-Dann Zuweisung im Sinne der Aussagenlogik handelt. Denn dann würde die Aussage in etwa lauten "wenn tagsüber eine katze bunt erscheint, dann erscheint sie nachts grau".
Nach der Aussagenlogik folgt aber aus A => B zwangsweise, dass ~ B => ~ A folgt. Der Umkehrschluss wäre also:
"wenn eine Katze nachts nicht grau erscheint, dann erscheint sie tagsüber nicht bunt", was offensichtlicher nonsens ist.
Beim Regenbeispiel sieht's anders aus:
wenn es regnet => Schulhof nass
somit folgt aus Schulhof trocken => es hat nicht geregnet.