The bald eagle is green. The bald eagle needs the squirrel. The bald eagle visits the mouse. The cow needs the mouse. The cow needs the squirrel. The cow sees the bald eagle. The mouse sees the squirrel. The squirrel is rough. The squirrel needs the bald eagle. The squirrel needs the mouse. The squirrel sees the bald eagle. The squirrel sees the mouse. If something needs the bald eagle then it sees the bald eagle. If the squirrel visits the cow then the cow is green. If something is cold and it sees the mouse then it visits the cow. If something sees the bald eagle then it is cold. If the bald eagle is kind and the bald eagle is green then the bald eagle needs the squirrel. If something is blue then it sees the squirrel.
The bald eagle visits the mouse.
@0: The bald eagle is green.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The bald eagle visits the mouse.[(triple3)] The cow needs the mouse.[(triple4)] The cow needs the squirrel.[(triple5)] The cow sees the bald eagle.[(triple6)] The mouse sees the squirrel.[(triple7)] The squirrel is rough.[(triple8)] The squirrel needs the bald eagle.[(triple9)] The squirrel needs the mouse.[(triple10)] The squirrel sees the bald eagle.[(triple11 OR ((triple9) -> rule1))] The squirrel sees the mouse.[(triple12)] @1: The cow is cold.[(((triple6) -> rule4))] The squirrel is cold.[(((triple11) -> rule4) OR ((((triple9) -> rule1)) -> rule4))] @2: The squirrel visits the cow.[(((((triple11) -> rule4) triple12) -> rule3) OR ((((((triple9) -> rule1)) -> rule4) triple12) -> rule3))] @3: The cow is green.[(((((((triple11) -> rule4) triple12) -> rule3)) -> rule2) OR ((((((((triple9) -> rule1)) -> rule4) triple12) -> rule3)) -> rule2))]