The cow eats the dog. The cow is not blue. The cow is not round. The cow is young. The cow sees the dog. The cow visits the dog. The dog eats the cow. The dog is big. The dog is blue. The dog is green. The dog is not round. The dog visits the cow. If the cow is young then the cow visits the dog. If something visits the cow then the cow visits the dog. If something eats the dog then it does not eat the cow. If something is big then it eats the cow. If something is green then it sees the cow. If the dog sees the cow and the cow eats the dog then the cow sees the dog.
The cow does not see the cow.
@0: The cow eats the dog.[(triple1)] The cow is not blue.[(triple2)] The cow is not round.[(triple3)] The cow is young.[(triple4)] The cow sees the dog.[(triple5 OR ((((triple10) -> rule5) triple1) -> rule6))] The cow visits the dog.[(triple6 OR ((triple12) -> rule2) OR ((triple4) -> rule1))] The dog eats the cow.[(triple7 OR ((triple8) -> rule4))] The dog is big.[(triple8)] The dog is blue.[(triple9)] The dog is green.[(triple10)] The dog is not round.[(triple11)] The dog visits the cow.[(triple12)] @1: The cow does not eat the cow.[(((triple1) -> rule3))] The dog sees the cow.[(((triple10) -> rule5))]