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