The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is round. Green things are round. Cold, green things are red. Kind, cold things are green.
The rabbit is not round.
@0: The rabbit is cold.[(triple1)] The rabbit is green.[(triple2 OR ((triple3 triple1) -> rule3))] The rabbit is kind.[(triple3)] The rabbit is red.[(triple4 OR ((triple1 triple2) -> rule2) OR ((triple1 ((triple3 triple1) -> rule3)) -> rule2))] The rabbit is round.[(triple5 OR ((triple2) -> rule1) OR ((((triple3 triple1) -> rule3)) -> rule1))]