The dog is not red. The dog needs the lion. The dog needs the rabbit. The dog does not see the lion. The dog sees the rabbit. The dog visits the lion. The dog visits the rabbit. The lion is green. The lion visits the dog. The lion visits the rabbit. The rabbit is red. The rabbit is young. The rabbit needs the lion. The rabbit does not see the dog. The rabbit does not see the lion. The rabbit visits the dog. If someone needs the lion and the lion does not need the rabbit then they see the rabbit. If someone needs the lion and the lion needs the rabbit then they see the rabbit. If someone visits the lion and they are not young then the lion is red. If the lion sees the rabbit then the lion is not rough. If someone visits the rabbit then they are rough. If someone needs the lion and the lion sees the rabbit then they need the dog. If someone is rough then they do not need the dog. If someone needs the rabbit and they are not rough then they are red.
The lion needs the dog.
@0: The dog does not see the lion.[(triple4)] The dog is not red.[(triple1)] The dog needs the lion.[(triple2)] The dog needs the rabbit.[(triple3)] The dog sees the rabbit.[(triple5)] The dog visits the lion.[(triple6)] The dog visits the rabbit.[(triple7)] The lion is green.[(triple8)] The lion visits the dog.[(triple9)] The lion visits the rabbit.[(triple10)] The rabbit does not see the dog.[(triple14)] The rabbit does not see the lion.[(triple15)] The rabbit is red.[(triple11)] The rabbit is young.[(triple12)] The rabbit needs the lion.[(triple13)] The rabbit visits the dog.[(triple16)] @1: The dog is rough.[(((triple7) -> rule5))] The lion is rough.[(((triple10) -> rule5))] @2: The dog does not need the dog.[(((((triple7) -> rule5)) -> rule7))] The lion does not need the dog.[(((((triple10) -> rule5)) -> rule7))]