The bald eagle is red. The bald eagle sees the mouse. The mouse eats the bald eagle. The mouse does not eat the squirrel. The mouse is nice. The mouse sees the tiger. The squirrel is nice. The tiger does not eat the squirrel. The tiger is red. The tiger sees the mouse. The tiger sees the squirrel. The tiger visits the squirrel. If something visits the squirrel and it does not eat the bald eagle then the bald eagle visits the tiger. If the bald eagle is not red then the bald eagle visits the tiger. If something sees the squirrel and it is nice then it does not visit the mouse. If the squirrel does not eat the bald eagle then the bald eagle sees the mouse. If something is nice then it sees the squirrel. If something eats the squirrel and it visits the bald eagle then the squirrel is not green.
The squirrel sees the squirrel.
@0: The bald eagle is red.[(triple1)] The bald eagle sees the mouse.[(triple2)] The mouse does not eat the squirrel.[(triple4)] The mouse eats the bald eagle.[(triple3)] The mouse is nice.[(triple5)] The mouse sees the tiger.[(triple6)] The squirrel is nice.[(triple7)] The tiger does not eat the squirrel.[(triple8)] The tiger is red.[(triple9)] The tiger sees the mouse.[(triple10)] The tiger sees the squirrel.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The mouse sees the squirrel.[(((triple5) -> rule5))] The squirrel sees the squirrel.[(((triple7) -> rule5))] @2: The mouse does not visit the mouse.[(((((triple5) -> rule5) triple5) -> rule3))] The squirrel does not visit the mouse.[(((((triple7) -> rule5) triple7) -> rule3))]