The cat eats the squirrel. The cat eats the tiger. The cat is blue. The cat is kind. The cat likes the squirrel. The cat visits the tiger. The cow is blue. The cow likes the tiger. The cow visits the squirrel. The squirrel likes the cat. The tiger eats the squirrel. The tiger is blue. The tiger is kind. The tiger likes the cow. The tiger visits the cat. The tiger visits the squirrel. If something is cold and it likes the squirrel then it likes the cow. If something is blue and it likes the squirrel then the squirrel likes the cat. If something is young and it visits the squirrel then the squirrel likes the tiger. If something eats the cat and the cat likes the squirrel then the squirrel is young. If the squirrel visits the tiger and the squirrel is kind then the tiger eats the cat. If the tiger visits the cow then the tiger is kind.
The cow visits the squirrel.
@0: The cat eats the squirrel.[(triple1)] The cat eats the tiger.[(triple2)] The cat is blue.[(triple3)] The cat is kind.[(triple4)] The cat likes the squirrel.[(triple5)] The cat visits the tiger.[(triple6)] The cow is blue.[(triple7)] The cow likes the tiger.[(triple8)] The cow visits the squirrel.[(triple9)] The squirrel likes the cat.[(triple10 OR ((triple3 triple5) -> rule2))] The tiger eats the squirrel.[(triple11)] The tiger is blue.[(triple12)] The tiger is kind.[(triple13)] The tiger likes the cow.[(triple14)] The tiger visits the cat.[(triple15)] The tiger visits the squirrel.[(triple16)]