The dog chases the lion. The dog is blue. The dog is cold. The dog is red. The dog is young. The dog likes the lion. The dog visits the lion. The lion chases the dog. The lion is blue. The lion is cold. The lion is red. The lion is rough. The lion is young. The lion likes the dog. The lion visits the dog. If someone chases the dog then they chase the lion. If someone chases the lion and the lion is rough then they are cold. If someone likes the dog and they visit the dog then the dog chases the lion.
The dog does not chase the dog.
@0: The dog chases the lion.[(triple1 OR ((triple14 triple15) -> rule3))] The dog is blue.[(triple2)] The dog is cold.[(triple3 OR ((triple1 triple12) -> rule2) OR ((((triple14 triple15) -> rule3) triple12) -> rule2))] The dog is red.[(triple4)] The dog is young.[(triple5)] The dog likes the lion.[(triple6)] The dog visits the lion.[(triple7)] The lion chases the dog.[(triple8)] The lion is blue.[(triple9)] The lion is cold.[(triple10 OR ((((triple8) -> rule1) triple12) -> rule2))] The lion is red.[(triple11)] The lion is rough.[(triple12)] The lion is young.[(triple13)] The lion likes the dog.[(triple14)] The lion visits the dog.[(triple15)] @1: The lion chases the lion.[(((triple8) -> rule1))]