The cat chases the lion. The cat eats the lion. The cat is cold. The cat visits the lion. The dog eats the lion. The dog is not blue. The dog is not red. The dog is young. The dog visits the cat. The lion is blue. If someone chases the cat then they eat the dog. If someone visits the lion and the lion eats the cat then the cat is not blue. If someone visits the lion and they visit the dog then the lion does not eat the cat. If someone eats the lion and they chase the dog then the lion eats the cat. If someone visits the cat then the cat chases the dog. If the cat chases the dog then the cat is nice.
The cat is not blue.
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2)] The cat is cold.[(triple3)] The cat visits the lion.[(triple4)] The dog eats the lion.[(triple5)] The dog is not blue.[(triple6)] The dog is not red.[(triple7)] The dog is young.[(triple8)] The dog visits the cat.[(triple9)] The lion is blue.[(triple10)] @1: The cat chases the dog.[(((triple9) -> rule5))] @2: The cat is nice.[(((((triple9) -> rule5)) -> rule6))] The lion eats the cat.[(((triple2 ((triple9) -> rule5)) -> rule4))] @3: The cat is not blue.[(((triple4 ((triple2 ((triple9) -> rule5)) -> rule4)) -> rule2))]