The dog is cold. The dog is not rough. The dog needs the lion. The dog visits the lion. The lion eats the dog. The lion is cold. The lion is not nice. The lion is red. The lion needs the dog. The lion visits the dog. If the dog visits the lion and the dog does not need the lion then the dog is red. If something eats the lion and the lion is rough then the lion does not need the dog. If something visits the dog then it eats the lion. If something eats the dog and it is red then the dog visits the lion. If something needs the dog then it is red. If something is big and it does not need the dog then the dog is rough. If something visits the dog and it visits the lion then it is nice. If something is red and it does not eat the lion then it is nice.
The dog is not red.
@0: The dog is cold.[(triple1)] The dog is not rough.[(triple2)] The dog needs the lion.[(triple3)] The dog visits the lion.[(triple4 OR ((triple5 triple8) -> rule4) OR ((triple5 ((triple9) -> rule5)) -> rule4))] The lion eats the dog.[(triple5)] The lion is cold.[(triple6)] The lion is not nice.[(triple7)] The lion is red.[(triple8 OR ((triple9) -> rule5))] The lion needs the dog.[(triple9)] The lion visits the dog.[(triple10)] @1: The lion eats the lion.[(((triple10) -> rule3))]