The cat is red. The cow chases the cat. The cow chases the tiger. The cow sees the lion. The lion chases the cat. The lion chases the cow. The tiger chases the cow. If something is green then it is young. If something sees the cow then the cow is cold. If something sees the lion then the lion needs the cat. If something chases the cow and the cow is green then it sees the lion. If something chases the cow and it needs the lion then it chases the tiger. If the tiger chases the cow then the cow needs the tiger. If something needs the cat then the cat sees the cow. If the tiger is red and the tiger is cold then the tiger sees the cat.
The lion does not need the cat.
@0: The cat is red.[(triple1)] The cow chases the cat.[(triple2)] The cow chases the tiger.[(triple3)] The cow sees the lion.[(triple4)] The lion chases the cat.[(triple5)] The lion chases the cow.[(triple6)] The tiger chases the cow.[(triple7)] @1: The cow needs the tiger.[(((triple7) -> rule6))] The lion needs the cat.[(((triple4) -> rule3))] @2: The cat sees the cow.[(((((triple4) -> rule3)) -> rule7))] @3: The cow is cold.[(((((((triple4) -> rule3)) -> rule7)) -> rule2))]