The cow is red. The cow is young. The cow sees the dog. The cow visits the dog. The dog chases the cow. The dog is big. The dog is nice. The dog is young. The dog sees the cow. The dog visits the cow. If someone is red and they chase the cow then they visit the dog. If the dog visits the cow then the cow sees the dog. If someone visits the dog and the dog chases the cow then the dog is nice. If someone chases the dog and the dog sees the cow then the dog chases the cow. If the cow sees the dog then the dog visits the cow. If someone chases the dog then the dog chases the cow. If someone chases the dog and the dog visits the cow then the cow sees the dog. If someone sees the dog then they are nice.
The dog does not visit the dog.
@0: The cow is red.[(triple1)] The cow is young.[(triple2)] The cow sees the dog.[(triple3 OR ((triple10) -> rule2))] The cow visits the dog.[(triple4)] The dog chases the cow.[(triple5)] The dog is big.[(triple6)] The dog is nice.[(triple7 OR ((triple4 triple5) -> rule3))] The dog is young.[(triple8)] The dog sees the cow.[(triple9)] The dog visits the cow.[(triple10 OR ((triple3) -> rule5))] @1: The cow is nice.[(((triple3) -> rule8) OR ((((triple10) -> rule2)) -> rule8))]