The dog is big. The dog is cold. The dog is green. The dog is round. The dog is young. The dog likes the lion. The dog needs the lion. The dog visits the lion. The lion is big. The lion is cold. The lion is green. The lion is young. The lion likes the dog. The lion needs the dog. The lion visits the dog. If something likes the lion and the lion likes the dog then it likes the dog. If something likes the dog and the dog visits the lion then the dog needs the lion.
The lion needs the lion.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)] The dog likes the lion.[(triple6)] The dog needs the lion.[(triple7 OR ((triple13 triple8) -> rule2) OR ((((triple6 triple13) -> rule1) triple8) -> rule2))] The dog visits the lion.[(triple8)] The lion is big.[(triple9)] The lion is cold.[(triple10)] The lion is green.[(triple11)] The lion is young.[(triple12)] The lion likes the dog.[(triple13)] The lion needs the dog.[(triple14)] The lion visits the dog.[(triple15)] @1: The dog likes the dog.[(((triple6 triple13) -> rule1))]