The cow chases the rabbit. The cow is nice. The rabbit likes the cow. If someone chases the rabbit then the rabbit chases the cow. If the cow likes the rabbit then the rabbit chases the cow. If someone likes the rabbit then the rabbit is cold. If someone chases the cow then they are nice. If the rabbit chases the cow then the cow likes the rabbit. If someone eats the cow and they are not cold then they like the cow. If the rabbit likes the cow and the cow likes the rabbit then the cow eats the rabbit. If someone likes the cow and they chase the cow then the cow eats the rabbit.
The rabbit chases the cow.
@0: The cow chases the rabbit.[(triple1)] The cow is nice.[(triple2)] The rabbit likes the cow.[(triple3)] @1: The rabbit chases the cow.[(((triple1) -> rule1))] @2: The cow eats the rabbit.[(((triple3 ((triple1) -> rule1)) -> rule8) OR ((triple3 ((((triple1) -> rule1)) -> rule5)) -> rule7))] The cow likes the rabbit.[(((((triple1) -> rule1)) -> rule5))] The rabbit is nice.[(((((triple1) -> rule1)) -> rule4))] @3: The rabbit is cold.[(((((((triple1) -> rule1)) -> rule5)) -> rule3))]