The rabbit is cold. The rabbit is nice. The rabbit is red. Nice, red people are green. All nice, green people are not round. Green, red people are not round. Red, green people are cold. If the rabbit is cold and the rabbit is not nice then the rabbit is round. If the rabbit is round then the rabbit is green.
The rabbit is not red.
@0: The rabbit is cold.[(triple1 OR ((triple3 ((triple2 triple3) -> rule1)) -> rule4))] The rabbit is nice.[(triple2)] The rabbit is red.[(triple3)] @1: The rabbit is green.[(((triple2 triple3) -> rule1))] @2: The rabbit is not round.[(((triple2 ((triple2 triple3) -> rule1)) -> rule2) OR ((((triple2 triple3) -> rule1) triple3) -> rule3))]