The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is big. The bald eagle is not cold. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle sees the lion. The lion does not chase the bald eagle. The lion eats the bald eagle. The lion is big. The lion is cold. The lion is not nice. The lion is rough. The lion sees the bald eagle. If something sees the bald eagle then it sees the lion. If something chases the bald eagle and it eats the bald eagle then it is rough. If something is big and it sees the lion then it chases the lion. If something is nice and it eats the lion then it chases the bald eagle. If something chases the lion and it is not nice then the lion eats the bald eagle. If something eats the lion and the lion chases the bald eagle then it does not eat the bald eagle.
The lion does not chase the lion.
@0: The bald eagle chases the lion.[(triple1 OR ((triple3 triple8) -> rule3))] The bald eagle eats the lion.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is nice.[(triple5)] The bald eagle is not cold.[(triple4)] The bald eagle is red.[(triple6)] The bald eagle is rough.[(triple7)] The bald eagle sees the lion.[(triple8)] The lion does not chase the bald eagle.[(triple9)] The lion eats the bald eagle.[(triple10 OR ((((triple11 ((triple15) -> rule1)) -> rule3) triple13) -> rule5))] The lion is big.[(triple11)] The lion is cold.[(triple12)] The lion is not nice.[(triple13)] The lion is rough.[(triple14)] The lion sees the bald eagle.[(triple15)] @1: The bald eagle chases the bald eagle.[(((triple5 triple2) -> rule4))] The lion sees the lion.[(((triple15) -> rule1))] @2: The lion chases the lion.[(((triple11 ((triple15) -> rule1)) -> rule3))]