The bald eagle does not chase the bear. The bald eagle chases the mouse. The bald eagle is blue. The bald eagle sees the bear. The bald eagle does not see the mouse. The bear chases the mouse. The bear sees the mouse. The lion chases the bald eagle. The lion is not nice. The mouse chases the bald eagle. The mouse is not cold. The mouse is not round. The mouse sees the bear. The mouse visits the bald eagle. The mouse visits the lion. If something sees the bear then it sees the bald eagle. If something chases the lion then the lion chases the bear. If something sees the bear and the bear is round then it is big. If something is nice then it is big. If the lion is nice and the lion is big then the lion is cold. If something is round and it sees the mouse then the mouse is round. If something is cold and round then it chases the bear. If something sees the lion and the lion visits the bald eagle then it is not nice.
The mouse sees the bear.
@0: The bald eagle chases the mouse.[(triple2)] The bald eagle does not chase the bear.[(triple1)] The bald eagle does not see the mouse.[(triple5)] The bald eagle is blue.[(triple3)] The bald eagle sees the bear.[(triple4)] The bear chases the mouse.[(triple6)] The bear sees the mouse.[(triple7)] The lion chases the bald eagle.[(triple8)] The lion is not nice.[(triple9)] The mouse chases the bald eagle.[(triple10)] The mouse is not cold.[(triple11)] The mouse is not round.[(triple12)] The mouse sees the bear.[(triple13)] The mouse visits the bald eagle.[(triple14)] The mouse visits the lion.[(triple15)] @1: The bald eagle sees the bald eagle.[(((triple4) -> rule1))] The mouse sees the bald eagle.[(((triple13) -> rule1))]