The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is round. The rabbit is young. Green, young things are cold. If something is nice and green then it is cold. All young, green things are nice.
The rabbit is not nice.
@0: The rabbit is cold.[(triple1 OR ((triple2 triple5) -> rule1) OR ((triple3 triple2) -> rule2) OR ((((triple5 triple2) -> rule3) triple2) -> rule2))] The rabbit is green.[(triple2)] The rabbit is nice.[(triple3 OR ((triple5 triple2) -> rule3))] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)]