The bald eagle chases the lion. The bald eagle does not chase the mouse. The bald eagle is not green. The bald eagle is rough. The bald eagle is round. The bald eagle needs the mouse. The bald eagle does not see the lion. The lion chases the bald eagle. The lion chases the mouse. The lion is green. The lion is round. The lion does not need the bald eagle. The lion needs the mouse. The lion sees the mouse. The mouse is cold. The mouse sees the bald eagle. If something chases the mouse then the mouse is green. If something is green then it does not need the bald eagle. If something is red and it does not see the bald eagle then the bald eagle is not red. If something is round and it does not chase the mouse then the mouse sees the lion. If something is rough and it does not see the lion then it needs the mouse. If the mouse sees the bald eagle and the mouse does not need the bald eagle then the mouse needs the lion.
The mouse does not see the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle does not chase the mouse.[(triple2)] The bald eagle does not see the lion.[(triple7)] The bald eagle is not green.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle needs the mouse.[(triple6 OR ((triple4 triple7) -> rule5))] The lion chases the bald eagle.[(triple8)] The lion chases the mouse.[(triple9)] The lion does not need the bald eagle.[(triple12 OR ((triple10) -> rule2))] The lion is green.[(triple10)] The lion is round.[(triple11)] The lion needs the mouse.[(triple13)] The lion sees the mouse.[(triple14)] The mouse is cold.[(triple15)] The mouse sees the bald eagle.[(triple16)] @1: The mouse is green.[(((triple9) -> rule1))] The mouse sees the lion.[(((triple5 triple2) -> rule4))] @2: The mouse does not need the bald eagle.[(((((triple9) -> rule1)) -> rule2))] @3: The mouse needs the lion.[(((triple16 ((((triple9) -> rule1)) -> rule2)) -> rule6))]