The cow sees the dog. The dog eats the cow. The dog is rough. The dog visits the cow. The lion sees the cow. The lion sees the dog. The lion visits the cow. If the dog is big and the dog sees the cow then the cow eats the lion. If the cow is big and the cow eats the dog then the cow visits the dog. If something visits the lion then the lion eats the cow. If something sees the cow and it is young then the cow is rough. If something visits the cow and it sees the cow then it is young. If something visits the dog then it eats the cow. If the cow sees the lion then the lion eats the cow. If something visits the lion then the lion sees the cow.
The cow does not eat the cow.
@0: The cow sees the dog.[(triple1)] The dog eats the cow.[(triple2)] The dog is rough.[(triple3)] The dog visits the cow.[(triple4)] The lion sees the cow.[(triple5)] The lion sees the dog.[(triple6)] The lion visits the cow.[(triple7)] @1: The lion is young.[(((triple7 triple5) -> rule5))] @2: The cow is rough.[(((triple5 ((triple7 triple5) -> rule5)) -> rule4))]