The cat sees the dog. The cow needs the lion. The dog is round. The lion chases the dog. If the dog needs the cow and the cow sees the lion then the lion sees the cow. If something needs the lion then it is red. If something is red then it needs the lion. If the lion is young and the lion is red then the lion sees the cat. If something chases the dog then the dog needs the cat. If the dog needs the lion and the lion needs the cow then the dog sees the cat. If something is young and nice then it needs the cat. If something is nice and blue then it sees the cow.
The cat does not see the cow.
@0: The cat sees the dog.[(triple1)] The cow needs the lion.[(triple2)] The dog is round.[(triple3)] The lion chases the dog.[(triple4)] @1: The cow is red.[(((triple2) -> rule2))] The dog needs the cat.[(((triple4) -> rule5))]