The cow is big. The cow is nice. The cow is round. The cow sees the dog. The cow does not visit the dog. The dog is round. The dog does not see the cow. If something is red then it does not need the dog. If something sees the dog then it needs the dog. If the cow needs the dog then the dog visits the cow. If something sees the dog and it needs the cow then it is not kind. If something is big and it does not need the dog then it does not need the cow. If something visits the dog then it does not need the cow.
The cow does not visit the dog.
@0: The cow does not visit the dog.[(triple5)] The cow is big.[(triple1)] The cow is nice.[(triple2)] The cow is round.[(triple3)] The cow sees the dog.[(triple4)] The dog does not see the cow.[(triple7)] The dog is round.[(triple6)] @1: The cow needs the dog.[(((triple4) -> rule2))] @2: The dog visits the cow.[(((((triple4) -> rule2)) -> rule3))]