The rabbit is big. The rabbit is cold. The rabbit is red. If something is nice and cold then it is round. All cold things are big. If the rabbit is cold then the rabbit is nice. If something is big and red then it is round. Big, round things are cold. If something is big then it is round.
The rabbit sees the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple2) -> rule2))] The rabbit is cold.[(triple2 OR ((triple1 ((triple1) -> rule6)) -> rule5) OR ((triple1 ((triple1 triple3) -> rule4)) -> rule5))] The rabbit is red.[(triple3)] @1: The rabbit is nice.[(((triple2) -> rule3) OR ((((triple1 ((triple1) -> rule6)) -> rule5)) -> rule3) OR ((((triple1 ((triple1 triple3) -> rule4)) -> rule5)) -> rule3))] The rabbit is round.[(((triple1) -> rule6) OR ((triple1 triple3) -> rule4) OR ((((triple2) -> rule2)) -> rule6) OR ((((triple2) -> rule2) triple3) -> rule4) OR ((((triple2) -> rule3) triple2) -> rule1))]