The bald eagle is kind. The bald eagle does not see the mouse. The bald eagle visits the lion. The bald eagle visits the mouse. The lion is kind. The lion is young. The lion does not like the bald eagle. The lion likes the mouse. The lion sees the bald eagle. The lion sees the mouse. The lion visits the bald eagle. The lion does not visit the mouse. The mouse likes the bald eagle. The mouse likes the lion. The mouse sees the lion. If something visits the lion and the lion does not like the bald eagle then the lion visits the bald eagle. If something is young then it is not red. If something sees the lion and the lion visits the mouse then the lion is red. If something is round then it sees the bald eagle. If the mouse sees the bald eagle and the bald eagle does not visit the mouse then the mouse sees the lion. If something visits the lion and it likes the bald eagle then the lion visits the mouse.
The lion does not see the mouse.
@0: The bald eagle does not see the mouse.[(triple2)] The bald eagle is kind.[(triple1)] The bald eagle visits the lion.[(triple3)] The bald eagle visits the mouse.[(triple4)] The lion does not like the bald eagle.[(triple7)] The lion does not visit the mouse.[(triple12)] The lion is kind.[(triple5)] The lion is young.[(triple6)] The lion likes the mouse.[(triple8)] The lion sees the bald eagle.[(triple9)] The lion sees the mouse.[(triple10)] The lion visits the bald eagle.[(triple11 OR ((triple3 triple7) -> rule1))] The mouse likes the bald eagle.[(triple13)] The mouse likes the lion.[(triple14)] The mouse sees the lion.[(triple15)] @1: The lion is not red.[(((triple6) -> rule2))]