The dog chases the rabbit. The dog is young. The dog needs the lion. The dog needs the rabbit. The dog visits the lion. The lion chases the dog. The lion chases the rabbit. The lion is big. The lion is not nice. The lion is young. The lion needs the rabbit. The lion visits the dog. The lion visits the rabbit. The rabbit is big. The rabbit is nice. The rabbit visits the lion. If something needs the rabbit and it visits the dog then it is big. If something is blue and it does not chase the dog then the dog visits the lion. If something chases the lion then it is not blue. If something needs the lion and it visits the lion then the lion needs the dog. If something is nice then it needs the lion. If something is round and not big then it is nice.
The dog does not need the rabbit.
@0: The dog chases the rabbit.[(triple1)] The dog is young.[(triple2)] The dog needs the lion.[(triple3)] The dog needs the rabbit.[(triple4)] The dog visits the lion.[(triple5)] The lion chases the dog.[(triple6)] The lion chases the rabbit.[(triple7)] The lion is big.[(triple8 OR ((triple11 triple12) -> rule1))] The lion is not nice.[(triple9)] The lion is young.[(triple10)] The lion needs the rabbit.[(triple11)] The lion visits the dog.[(triple12)] The lion visits the rabbit.[(triple13)] The rabbit is big.[(triple14)] The rabbit is nice.[(triple15)] The rabbit visits the lion.[(triple16)] @1: The lion needs the dog.[(((triple3 triple5) -> rule4) OR ((((triple15) -> rule5) triple16) -> rule4))] The rabbit needs the lion.[(((triple15) -> rule5))]