The bald eagle is big. The bald eagle visits the squirrel. The cow needs the bald eagle. The cow needs the squirrel. The cow sees the bald eagle. The cow sees the squirrel. The cow visits the bald eagle. The cow visits the squirrel. The squirrel is rough. The squirrel visits the bald eagle. If someone sees the bald eagle then they need the squirrel. If someone visits the bald eagle and the bald eagle needs the squirrel then they are big. If someone is blue and big then they see the bald eagle. If someone needs the bald eagle then the bald eagle sees the cow. If someone sees the squirrel then the squirrel is round. If someone visits the bald eagle and the bald eagle is big then they are young. If someone visits the squirrel then they are blue. If someone visits the squirrel then the squirrel needs the cow.
The bald eagle is not young.
@0: The bald eagle is big.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The cow needs the bald eagle.[(triple3)] The cow needs the squirrel.[(triple4 OR ((triple5) -> rule1) OR ((((((triple8) -> rule7) ((triple7 ((((((triple2) -> rule7) triple1) -> rule3)) -> rule1)) -> rule2)) -> rule3)) -> rule1))] The cow sees the bald eagle.[(triple5 OR ((((triple8) -> rule7) ((triple7 ((((((triple2) -> rule7) triple1) -> rule3)) -> rule1)) -> rule2)) -> rule3))] The cow sees the squirrel.[(triple6)] The cow visits the bald eagle.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel is rough.[(triple9)] The squirrel visits the bald eagle.[(triple10)] @1: The bald eagle is blue.[(((triple2) -> rule7))] The bald eagle sees the cow.[(((triple3) -> rule4))] The cow is blue.[(((triple8) -> rule7))] The cow is young.[(((triple7 triple1) -> rule6))] The squirrel is round.[(((triple6) -> rule5))] The squirrel is young.[(((triple10 triple1) -> rule6))] The squirrel needs the cow.[(((triple2) -> rule8) OR ((triple8) -> rule8))] @2: The bald eagle sees the bald eagle.[(((((triple2) -> rule7) triple1) -> rule3))] @3: The bald eagle needs the squirrel.[(((((((triple2) -> rule7) triple1) -> rule3)) -> rule1))] @4: The cow is big.[(((triple7 ((((((triple2) -> rule7) triple1) -> rule3)) -> rule1)) -> rule2))] The squirrel is big.[(((triple10 ((((((triple2) -> rule7) triple1) -> rule3)) -> rule1)) -> rule2))]