The dog is big. The dog is cold. The dog is not red. The dog is round. The dog is young. The dog does not like the lion. The dog sees the lion. The dog visits the lion. The lion is big. The lion is cold. The lion is not red. The lion is round. The lion is young. The lion likes the dog. The lion sees the dog. The lion visits the dog. If something sees the dog and it is round then it likes the lion. If something likes the lion and it does not visit the lion then the lion does not see the dog.
The dog visits the dog.
@0: The dog does not like the lion.[(triple6)] The dog is big.[(triple1)] The dog is cold.[(triple2)] The dog is not red.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)] The dog sees the lion.[(triple7)] The dog visits the lion.[(triple8)] The lion is big.[(triple9)] The lion is cold.[(triple10)] The lion is not red.[(triple11)] The lion is round.[(triple12)] The lion is young.[(triple13)] The lion likes the dog.[(triple14)] The lion sees the dog.[(triple15)] The lion visits the dog.[(triple16)] @1: The lion likes the lion.[(((triple15 triple12) -> rule1))]