The cow is blue. The cow is kind. The cow is red. The cow sees the dog. The cow does not see the tiger. The cow visits the dog. The dog is big. The dog does not like the cow. The dog likes the tiger. The dog sees the tiger. The dog does not visit the tiger. The tiger is kind. The tiger sees the cow. The tiger sees the dog. The tiger visits the dog. If the dog visits the cow and the cow does not see the dog then the cow likes the tiger. If someone sees the tiger then they see the cow.
The dog sees the tiger.
@0: The cow does not see the tiger.[(triple5)] The cow is blue.[(triple1)] The cow is kind.[(triple2)] The cow is red.[(triple3)] The cow sees the dog.[(triple4)] The cow visits the dog.[(triple6)] The dog does not like the cow.[(triple8)] The dog does not visit the tiger.[(triple11)] The dog is big.[(triple7)] The dog likes the tiger.[(triple9)] The dog sees the tiger.[(triple10)] The tiger is kind.[(triple12)] The tiger sees the cow.[(triple13)] The tiger sees the dog.[(triple14)] The tiger visits the dog.[(triple15)] @1: The dog sees the cow.[(((triple10) -> rule2))]