The bald eagle is green. The bald eagle is kind. The bald eagle is rough. The bald eagle likes the squirrel. The bald eagle needs the squirrel. The bald eagle sees the mouse. The mouse is rough. The mouse likes the squirrel. The mouse sees the bald eagle. The mouse sees the squirrel. The squirrel is kind. The squirrel likes the bald eagle. The squirrel likes the mouse. The squirrel needs the bald eagle. The squirrel needs the mouse. The squirrel sees the bald eagle. If someone is rough then they like the bald eagle. If the squirrel is kind then the squirrel needs the mouse. If someone needs the squirrel and the squirrel sees the mouse then they see the squirrel. If someone is big then they need the mouse. If someone is rough and they need the mouse then the mouse likes the bald eagle. If someone needs the mouse then they see the mouse.
The mouse likes the mouse.
@0: The bald eagle is green.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the squirrel.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The bald eagle sees the mouse.[(triple6)] The mouse is rough.[(triple7)] The mouse likes the squirrel.[(triple8)] The mouse sees the bald eagle.[(triple9)] The mouse sees the squirrel.[(triple10)] The squirrel is kind.[(triple11)] The squirrel likes the bald eagle.[(triple12)] The squirrel likes the mouse.[(triple13)] The squirrel needs the bald eagle.[(triple14)] The squirrel needs the mouse.[(triple15 OR ((triple11) -> rule2))] The squirrel sees the bald eagle.[(triple16)] @1: The bald eagle likes the bald eagle.[(((triple3) -> rule1))] The mouse likes the bald eagle.[(((triple7) -> rule1))] The squirrel sees the mouse.[(((triple15) -> rule6) OR ((((triple11) -> rule2)) -> rule6))] @2: The bald eagle sees the squirrel.[(((triple5 ((triple15) -> rule6)) -> rule3) OR ((triple5 ((((triple11) -> rule2)) -> rule6)) -> rule3))]