The cow chases the rabbit. The cow eats the rabbit. The rabbit chases the cow. The rabbit eats the cow. The rabbit is big. The rabbit is blue. The rabbit visits the cow. If someone chases the cow then the cow visits the rabbit.
The cow visits the cow.
@0: The cow chases the rabbit.[(triple1)] The cow eats the rabbit.[(triple2)] The rabbit chases the cow.[(triple3)] The rabbit eats the cow.[(triple4)] The rabbit is big.[(triple5)] The rabbit is blue.[(triple6)] The rabbit visits the cow.[(triple7)] @1: The cow visits the rabbit.[(((triple3) -> rule1))]