The cow chases the rabbit. The rabbit is rough. The rabbit visits the cow. If someone is nice then they see the cow. If someone is red then they see the cow. If someone chases the rabbit then the rabbit chases the cow. If someone sees the cow and they visit the cow then the cow is green. If someone sees the rabbit and they chase the cow then the cow visits the rabbit. If the rabbit visits the cow then the rabbit is red.
The rabbit sees the cow.
@0: The cow chases the rabbit.[(triple1)] The rabbit is rough.[(triple2)] The rabbit visits the cow.[(triple3)] @1: The rabbit chases the cow.[(((triple1) -> rule3))] The rabbit is red.[(((triple3) -> rule6))] @2: The rabbit sees the cow.[(((((triple3) -> rule6)) -> rule2))] @3: The cow is green.[(((((((triple3) -> rule6)) -> rule2) triple3) -> rule4))]