The bald eagle chases the lion. The bald eagle is not big. The bald eagle is not blue. The bald eagle is red. The bald eagle is not rough. The bald eagle is young. The bald eagle sees the lion. The bald eagle visits the lion. The lion chases the bald eagle. The lion is not big. The lion is blue. The lion is red. The lion is rough. The lion is not young. The lion sees the bald eagle. The lion visits the bald eagle. If something is red then it visits the lion. If something is red then it visits the bald eagle.
The bald eagle does not see the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is not big.[(triple2)] The bald eagle is not blue.[(triple3)] The bald eagle is not rough.[(triple5)] The bald eagle is red.[(triple4)] The bald eagle is young.[(triple6)] The bald eagle sees the lion.[(triple7)] The bald eagle visits the lion.[(triple8 OR ((triple4) -> rule1))] The lion chases the bald eagle.[(triple9)] The lion is blue.[(triple11)] The lion is not big.[(triple10)] The lion is not young.[(triple14)] The lion is red.[(triple12)] The lion is rough.[(triple13)] The lion sees the bald eagle.[(triple15)] The lion visits the bald eagle.[(triple16 OR ((triple12) -> rule2))] @1: The bald eagle visits the bald eagle.[(((triple4) -> rule2))] The lion visits the lion.[(((triple12) -> rule1))]