The bald eagle chases the lion. The bald eagle is big. The bald eagle likes the lion. The bald eagle sees the lion. The bald eagle sees the mouse. The lion chases the bald eagle. The lion chases the mouse. The lion is cold. The lion is young. The lion likes the mouse. The lion sees the bald eagle. The lion sees the mouse. The mouse is green. The mouse likes the bald eagle. The mouse likes the lion. The mouse sees the lion. If someone chases the bald eagle and they are round then they see the bald eagle. If someone likes the lion and they are green then the lion is round. If someone sees the mouse then they see the bald eagle. If someone is round then they like the lion. If someone likes the mouse and the mouse sees the lion then the lion chases the mouse. If someone chases the mouse and they see the lion then they are round.
The lion does not chase the mouse.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle sees the lion.[(triple4)] The bald eagle sees the mouse.[(triple5)] The lion chases the bald eagle.[(triple6)] The lion chases the mouse.[(triple7 OR ((triple10 triple16) -> rule5))] The lion is cold.[(triple8)] The lion is young.[(triple9)] The lion likes the mouse.[(triple10)] The lion sees the bald eagle.[(triple11 OR ((triple12) -> rule3) OR ((triple6 ((triple15 triple13) -> rule2)) -> rule1))] The lion sees the mouse.[(triple12)] The mouse is green.[(triple13)] The mouse likes the bald eagle.[(triple14)] The mouse likes the lion.[(triple15)] The mouse sees the lion.[(triple16)] @1: The bald eagle sees the bald eagle.[(((triple5) -> rule3))] The lion is round.[(((triple15 triple13) -> rule2))] @2: The lion likes the lion.[(((((triple15 triple13) -> rule2)) -> rule4))]