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