The bald eagle is big. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The squirrel is not big. The squirrel is blue. The squirrel is green. The squirrel is red. The squirrel is not young. The squirrel likes the bald eagle. The squirrel needs the bald eagle. If someone needs the squirrel and they do not see the squirrel then the squirrel is not green. If someone likes the bald eagle and the bald eagle does not see the squirrel then the squirrel is blue. If someone likes the squirrel and the squirrel needs the bald eagle then the bald eagle is blue. If the squirrel sees the bald eagle then the bald eagle likes the squirrel. If someone is green and they need the bald eagle then they see the bald eagle. If someone sees the bald eagle then the bald eagle is big.
The squirrel sees the bald eagle.
@0: The bald eagle is big.[(triple1 OR ((((triple6 triple10) -> rule5)) -> rule6))] The bald eagle needs the squirrel.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The squirrel is blue.[(triple5)] The squirrel is green.[(triple6)] The squirrel is not big.[(triple4)] The squirrel is not young.[(triple8)] The squirrel is red.[(triple7)] The squirrel likes the bald eagle.[(triple9)] The squirrel needs the bald eagle.[(triple10)] @1: The squirrel sees the bald eagle.[(((triple6 triple10) -> rule5))] @2: The bald eagle likes the squirrel.[(((((triple6 triple10) -> rule5)) -> rule4))] @3: The bald eagle is blue.[(((((((triple6 triple10) -> rule5)) -> rule4) triple10) -> rule3))]