The bald eagle is young. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The squirrel is blue. The squirrel is not cold. The squirrel is rough. The squirrel needs the bald eagle. The squirrel sees the bald eagle. The squirrel visits the bald eagle. If something is blue and it does not visit the bald eagle then the bald eagle does not visit the squirrel. If something sees the squirrel and the squirrel sees the bald eagle then the bald eagle visits the squirrel. If something is young and it sees the squirrel then the squirrel needs the bald eagle. If something needs the bald eagle and the bald eagle is not rough then it needs the squirrel. If something is cold and it sees the squirrel then the squirrel is blue. If something is cold and young then it sees the bald eagle.
The squirrel does not need the bald eagle.
@0: The bald eagle is young.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bald eagle visits the squirrel.[(triple4 OR ((triple3 triple9) -> rule2))] The squirrel is blue.[(triple5)] The squirrel is not cold.[(triple6)] The squirrel is rough.[(triple7)] The squirrel needs the bald eagle.[(triple8 OR ((triple1 triple3) -> rule3))] The squirrel sees the bald eagle.[(triple9)] The squirrel visits the bald eagle.[(triple10)]