The cat is not young. The cat sees the cow. The cat does not visit the dog. The cat visits the tiger. The cow is cold. The cow does not like the tiger. The dog is big. The dog is round. The dog visits the cat. The tiger is nice. If something visits the cat then the cat sees the dog. If the cat is nice and the cat sees the dog then the cat is not big. If something likes the cow and it does not see the cat then it likes the dog. If the tiger sees the dog then the dog is not nice. If something likes the cat then it is not big. If something visits the tiger and it likes the cat then the tiger is big. If something likes the dog then it sees the dog. If something sees the dog and it is not nice then the dog likes the tiger.
The cow does not see the dog.
@0: The cat does not visit the dog.[(triple3)] The cat is not young.[(triple1)] The cat sees the cow.[(triple2)] The cat visits the tiger.[(triple4)] The cow does not like the tiger.[(triple6)] The cow is cold.[(triple5)] The dog is big.[(triple7)] The dog is round.[(triple8)] The dog visits the cat.[(triple9)] The tiger is nice.[(triple10)] @1: The cat sees the dog.[(((triple9) -> rule1))]