The cow eats the rabbit. The cow is cold. The rabbit visits the cow. If something eats the rabbit and the rabbit eats the cow then the cow visits the rabbit. If the rabbit eats the cow and the cow is red then the rabbit is not green. If something visits the cow and the cow visits the rabbit then the rabbit is blue. If something eats the rabbit then the rabbit eats the cow. If something visits the rabbit and it is not red then it eats the rabbit. If something is blue and it visits the rabbit then it needs the rabbit.
The rabbit is cold.
@0: The cow eats the rabbit.[(triple1)] The cow is cold.[(triple2)] The rabbit visits the cow.[(triple3)] @1: The rabbit eats the cow.[(((triple1) -> rule4))] @2: The cow visits the rabbit.[(((triple1 ((triple1) -> rule4)) -> rule1))] @3: The rabbit is blue.[(((triple3 ((triple1 ((triple1) -> rule4)) -> rule1)) -> rule3))]