The rabbit is cold. The rabbit is nice. The rabbit is red. Nice things are red. Nice, cold things are red. All red things are nice. If something is blue then it is nice. If something is nice then it is not round. Blue things are not round. If the rabbit is not red then the rabbit is not round. If the rabbit is not nice then the rabbit is round.
The rabbit is not nice.
@0: The rabbit is cold.[(triple1)] The rabbit is nice.[(triple2 OR ((triple3) -> rule3))] The rabbit is red.[(triple3 OR ((triple2) -> rule1) OR ((triple2 triple1) -> rule2))] @1: The rabbit is not round.[(((triple2) -> rule5) OR ((((triple3) -> rule3)) -> rule5))]