The dog is not cold. The dog likes the rabbit. The dog does not see the lion. The lion is nice. The lion visits the dog. The lion visits the rabbit. The mouse is cold. The mouse likes the rabbit. The mouse sees the lion. The mouse visits the rabbit. The rabbit is nice. The rabbit is red. The rabbit likes the dog. The rabbit visits the dog. The rabbit visits the lion. If someone sees the lion then they do not like the lion. If the mouse likes the dog and the rabbit does not visit the mouse then the dog sees the lion. If someone visits the rabbit and they are not cold then the rabbit visits the lion.
The lion does not visit the dog.
@0: The dog does not see the lion.[(triple3)] The dog is not cold.[(triple1)] The dog likes the rabbit.[(triple2)] The lion is nice.[(triple4)] The lion visits the dog.[(triple5)] The lion visits the rabbit.[(triple6)] The mouse is cold.[(triple7)] The mouse likes the rabbit.[(triple8)] The mouse sees the lion.[(triple9)] The mouse visits the rabbit.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is red.[(triple12)] The rabbit likes the dog.[(triple13)] The rabbit visits the dog.[(triple14)] The rabbit visits the lion.[(triple15)] @1: The mouse does not like the lion.[(((triple9) -> rule1))]