The dog chases the lion. The dog is green. The dog is red. The dog is rough. The dog likes the lion. The dog needs the lion. The lion chases the dog. The lion is nice. The lion is red. The lion is rough. The lion is young. The lion needs the dog. If something chases the dog and the dog chases the lion then the lion is red. If the lion needs the dog and the dog likes the lion then the lion likes the dog. If something needs the lion then it is nice. If something is green and it chases the lion then the lion chases the dog. If something likes the lion then it is young. If something needs the lion then the lion likes the dog. If something needs the lion then the lion likes the dog. If the lion chases the dog then the lion needs the dog.
The lion does not need the lion.
@0: The dog chases the lion.[(triple1)] The dog is green.[(triple2)] The dog is red.[(triple3)] The dog is rough.[(triple4)] The dog likes the lion.[(triple5)] The dog needs the lion.[(triple6)] The lion chases the dog.[(triple7 OR ((triple2 triple1) -> rule4))] The lion is nice.[(triple8)] The lion is red.[(triple9 OR ((triple7 triple1) -> rule1) OR ((((triple2 triple1) -> rule4) triple1) -> rule1))] The lion is rough.[(triple10)] The lion is young.[(triple11)] The lion needs the dog.[(triple12 OR ((triple7) -> rule8) OR ((((triple2 triple1) -> rule4)) -> rule8))] @1: The dog is nice.[(((triple6) -> rule3))] The dog is young.[(((triple5) -> rule5))] The lion likes the dog.[(((triple6) -> rule6) OR ((triple6) -> rule7) OR ((triple12 triple5) -> rule2) OR ((((triple7) -> rule8) triple5) -> rule2) OR ((((((triple2 triple1) -> rule4)) -> rule8) triple5) -> rule2))]