The cow chases the dog. The cow is kind. The cow is nice. The cow is red. The cow needs the dog. The dog chases the cow. The dog eats the cow. If something is nice and it needs the cow then the cow is round. If something chases the cow and it is red then the cow eats the dog. If something is kind and it eats the cow then it needs the dog. If something eats the dog then the dog needs the cow. If something is round then it eats the dog. If something needs the dog then the dog is red.
The dog eats the cow.
@0: The cow chases the dog.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow needs the dog.[(triple5)] The dog chases the cow.[(triple6)] The dog eats the cow.[(triple7)] @1: The dog is red.[(((triple5) -> rule6))] @2: The cow eats the dog.[(((triple6 ((triple5) -> rule6)) -> rule2))] @3: The dog needs the cow.[(((((triple6 ((triple5) -> rule6)) -> rule2)) -> rule4))]