The dog is not cold. The dog is not nice. The dog is rough. The dog likes the lion. The dog does not see the lion. The dog visits the lion. The lion is nice. The lion is red. The lion is rough. The lion likes the dog. The lion sees the dog. The lion visits the dog. If something visits the lion and it likes the dog then it is not red. If something sees the lion then it sees the dog. If something sees the dog and it is rough then it likes the lion.
The lion is not rough.
@0: The dog does not see the lion.[(triple5)] The dog is not cold.[(triple1)] The dog is not nice.[(triple2)] The dog is rough.[(triple3)] The dog likes the lion.[(triple4)] The dog visits the lion.[(triple6)] The lion is nice.[(triple7)] The lion is red.[(triple8)] The lion is rough.[(triple9)] The lion likes the dog.[(triple10)] The lion sees the dog.[(triple11)] The lion visits the dog.[(triple12)] @1: The lion likes the lion.[(((triple11 triple9) -> rule3))]