The cat is not young. The cat likes the cow. The cat does not visit the cow. The cow chases the tiger. The cow is blue. The cow likes the cat. The cow likes the tiger. The tiger chases the cat. The tiger chases the cow. The tiger is blue. The tiger likes the cat. The tiger visits the cat. If something is blue and it chases the tiger then it is not young. If something likes the cat and it chases the cow then it likes the tiger.
The cat is young.
@0: The cat does not visit the cow.[(triple3)] The cat is not young.[(triple1)] The cat likes the cow.[(triple2)] The cow chases the tiger.[(triple4)] The cow is blue.[(triple5)] The cow likes the cat.[(triple6)] The cow likes the tiger.[(triple7)] The tiger chases the cat.[(triple8)] The tiger chases the cow.[(triple9)] The tiger is blue.[(triple10)] The tiger likes the cat.[(triple11)] The tiger visits the cat.[(triple12)] @1: The cow is not young.[(((triple5 triple4) -> rule1))] The tiger likes the tiger.[(((triple11 triple9) -> rule2))]