The bald eagle is blue. The bald eagle is not kind. The bald eagle is rough. The bald eagle is round. The bald eagle likes the lion. The bald eagle sees the lion. The lion chases the bald eagle. The lion is big. The lion is blue. The lion is kind. The lion likes the bald eagle. The lion sees the bald eagle. If the lion is round then the lion is rough. If something is rough and blue then it chases the bald eagle. If something likes the bald eagle and it sees the lion then it does not chase the bald eagle. If something is round and big then it chases the lion. If something likes the lion then it sees the bald eagle. If the lion is big and the lion chases the bald eagle then the bald eagle is rough. Rough things are round. If something chases the lion then the lion does not like the bald eagle.
The bald eagle does not chase the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle is rough.[(triple3 OR ((triple8 triple7) -> rule6))] The bald eagle is round.[(triple4 OR ((triple3) -> rule7) OR ((((triple8 triple7) -> rule6)) -> rule7))] The bald eagle likes the lion.[(triple5)] The bald eagle sees the lion.[(triple6)] The lion chases the bald eagle.[(triple7)] The lion is big.[(triple8)] The lion is blue.[(triple9)] The lion is kind.[(triple10)] The lion likes the bald eagle.[(triple11)] The lion sees the bald eagle.[(triple12)] @1: The bald eagle chases the bald eagle.[(((triple3 triple1) -> rule2) OR ((((triple8 triple7) -> rule6) triple1) -> rule2))] The bald eagle sees the bald eagle.[(((triple5) -> rule5))]