The cat chases the dog. The cat eats the dog. The cow chases the cat. The cow chases the dog. The cow is rough. The dog chases the cow. The dog eats the cat. The dog eats the cow. The dog is red. The dog sees the cow. If something chases the cat then the cat is green. If something eats the cow and it chases the dog then it sees the cow. If something eats the dog then it sees the cow. If something is round then it chases the dog. If something sees the cow then it is rough. If the cat is young then the cat eats the cow.
The cat is not green.
@0: The cat chases the dog.[(triple1)] The cat eats the dog.[(triple2)] The cow chases the cat.[(triple3)] The cow chases the dog.[(triple4)] The cow is rough.[(triple5)] The dog chases the cow.[(triple6)] The dog eats the cat.[(triple7)] The dog eats the cow.[(triple8)] The dog is red.[(triple9)] The dog sees the cow.[(triple10)] @1: The cat is green.[(((triple3) -> rule1))] The cat sees the cow.[(((triple2) -> rule3))] The dog is rough.[(((triple10) -> rule5))] @2: The cat is rough.[(((((triple2) -> rule3)) -> rule5))]