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