The bald eagle chases the lion. The bald eagle is blue. The bald eagle is young. The bald eagle needs the lion. The bald eagle visits the dog. The dog chases the bald eagle. The dog chases the lion. The dog is blue. The dog is rough. The dog is young. The dog visits the lion. The lion chases the bald eagle. The lion chases the dog. The lion is rough. The lion is round. The lion visits the bald eagle. If something is cold and blue then it chases the lion. If the dog visits the bald eagle then the bald eagle visits the lion. Blue things are rough. If the lion chases the bald eagle then the lion chases the dog. If the bald eagle visits the dog and the bald eagle is cold then the bald eagle chases the lion. All rough things are blue. If the lion is blue then the lion is cold. If something needs the dog and it is cold then the dog is cold.
The lion does not chase the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the lion.[(triple4)] The bald eagle visits the dog.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog chases the lion.[(triple7)] The dog is blue.[(triple8 OR ((triple9) -> rule6))] The dog is rough.[(triple9 OR ((triple8) -> rule3))] The dog is young.[(triple10)] The dog visits the lion.[(triple11)] The lion chases the bald eagle.[(triple12)] The lion chases the dog.[(triple13 OR ((triple12) -> rule4))] The lion is rough.[(triple14)] The lion is round.[(triple15)] The lion visits the bald eagle.[(triple16)] @1: The bald eagle is rough.[(((triple2) -> rule3))] The lion is blue.[(((triple14) -> rule6))] @2: The lion is cold.[(((((triple14) -> rule6)) -> rule7))] @3: The lion chases the lion.[(((((((triple14) -> rule6)) -> rule7) ((triple14) -> rule6)) -> rule1))]