The cat is kind. The cow chases the dog. The cow visits the lion. The dog is blue. The dog visits the lion. The lion chases the cat. The lion is cold. If something chases the cow and it is kind then it chases the dog. If something needs the cat then it is blue. If something chases the dog then it needs the cat.
The cat needs the lion.
@0: The cat is kind.[(triple1)] The cow chases the dog.[(triple2)] The cow visits the lion.[(triple3)] The dog is blue.[(triple4)] The dog visits the lion.[(triple5)] The lion chases the cat.[(triple6)] The lion is cold.[(triple7)] @1: The cow needs the cat.[(((triple2) -> rule3))] @2: The cow is blue.[(((((triple2) -> rule3)) -> rule2))]