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