The cat chases the cow. The cat is red. The cat needs the cow. The cow chases the cat. The cow eats the tiger. The cow needs the tiger. The tiger chases the cow. The tiger eats the cow. The tiger is cold. The tiger is green. The tiger needs the cat. The tiger needs the cow. If something chases the tiger then it is rough. If the cat is red and the cat needs the cow then the cow chases the tiger. If something is red then it needs the cat.
The cow does not need the cat.
@0: The cat chases the cow.[(triple1)] The cat is red.[(triple2)] The cat needs the cow.[(triple3)] The cow chases the cat.[(triple4)] The cow eats the tiger.[(triple5)] The cow needs the tiger.[(triple6)] The tiger chases the cow.[(triple7)] The tiger eats the cow.[(triple8)] The tiger is cold.[(triple9)] The tiger is green.[(triple10)] The tiger needs the cat.[(triple11)] The tiger needs the cow.[(triple12)] @1: The cat needs the cat.[(((triple2) -> rule3))] The cow chases the tiger.[(((triple2 triple3) -> rule2))] @2: The cow is rough.[(((((triple2 triple3) -> rule2)) -> rule1))]