The cat is not big. The cat is young. The cat visits the dog. The dog is big. The dog is not red. The dog is round. The dog sees the cat. The dog does not visit the cat. The dog visits the lion. The lion visits the dog. If the lion sees the dog then the dog does not like the lion. If someone is blue and not young then they see the dog. If someone sees the dog and they visit the lion then the dog is big. If someone visits the lion and the lion likes the dog then the dog is red. If someone sees the lion then the lion sees the dog. If the cat visits the dog and the cat is red then the dog visits the cat. If someone is young then they see the lion. If someone visits the cat and they do not see the dog then the dog likes the cat.
The cat sees the lion.
@0: The cat is not big.[(triple1)] The cat is young.[(triple2)] The cat visits the dog.[(triple3)] The dog does not visit the cat.[(triple8)] The dog is big.[(triple4)] The dog is not red.[(triple5)] The dog is round.[(triple6)] The dog sees the cat.[(triple7)] The dog visits the lion.[(triple9)] The lion visits the dog.[(triple10)] @1: The cat sees the lion.[(((triple2) -> rule7))] @2: The lion sees the dog.[(((((triple2) -> rule7)) -> rule5))] @3: The dog does not like the lion.[(((((((triple2) -> rule7)) -> rule5)) -> rule1))]