The cat sees the cow. The cow sees the cat. The dog needs the cow. If the cow needs the cat then the cat needs the cow. If someone chases the cat and the cat is big then they are blue. If someone is blue then they chase the cat. If someone chases the cow then the cow is blue. If the cat sees the cow then the cat chases the cow. If someone chases the cow and they need the dog then the dog sees the cow.
The dog needs the cow.
@0: The cat sees the cow.[(triple1)] The cow sees the cat.[(triple2)] The dog needs the cow.[(triple3)] @1: The cat chases the cow.[(((triple1) -> rule5))] @2: The cow is blue.[(((((triple1) -> rule5)) -> rule4))] @3: The cow chases the cat.[(((((((triple1) -> rule5)) -> rule4)) -> rule3))]