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