The bald eagle chases the squirrel. The bald eagle is big. The bald eagle is cold. The bald eagle is not green. The bald eagle needs the squirrel. The bald eagle does not visit the squirrel. The squirrel is rough. If someone needs the bald eagle and the bald eagle does not visit the squirrel then the squirrel visits the bald eagle. If someone needs the bald eagle then they visit the bald eagle. If someone visits the bald eagle and they need the squirrel then the bald eagle is big. If someone needs the squirrel then the squirrel is rough. If someone is rough then they chase the squirrel. If someone needs the squirrel and they are not rough then they are not green.
The squirrel does not chase the squirrel.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle does not visit the squirrel.[(triple6)] The bald eagle is big.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is not green.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The squirrel is rough.[(triple7 OR ((triple5) -> rule4))] @1: The squirrel chases the squirrel.[(((triple7) -> rule5) OR ((((triple5) -> rule4)) -> rule5))]