The cat chases the lion. The cat is blue. The cat is young. The cat needs the dog. The dog chases the cat. The dog is not blue. The lion visits the dog. If something chases the dog and the dog chases the lion then the dog is not big. If something is blue then it visits the cat. If something needs the cat then it does not chase the cat. If something is red and not blue then it is green. If something is red and not blue then it needs the cat. If the dog visits the cat then the cat is big. If something visits the dog then the dog chases the lion. If something is red then it needs the lion.
The lion chases the lion.
@0: The cat chases the lion.[(triple1)] The cat is blue.[(triple2)] The cat is young.[(triple3)] The cat needs the dog.[(triple4)] The dog chases the cat.[(triple5)] The dog is not blue.[(triple6)] The lion visits the dog.[(triple7)] @1: The cat visits the cat.[(((triple2) -> rule2))] The dog chases the lion.[(((triple7) -> rule7))]