The bald eagle eats the squirrel. The bald eagle is round. The bald eagle needs the cow. The cow is cold. The cow sees the bald eagle. The cow sees the tiger. The squirrel eats the cow. The squirrel is big. The squirrel needs the bald eagle. The squirrel needs the cow. The squirrel sees the bald eagle. The squirrel sees the cow. The squirrel sees the tiger. The tiger is big. The tiger needs the bald eagle. The tiger sees the cow. If something is big and it sees the bald eagle then it is nice. If something is round then it is young. If the cow is big and the cow is young then the cow sees the bald eagle. If the tiger eats the squirrel then the squirrel needs the bald eagle. If something is big and it needs the tiger then the tiger sees the squirrel. If something needs the bald eagle and the bald eagle is round then it needs the squirrel. If something needs the squirrel and the squirrel sees the cow then the squirrel is round. If something eats the tiger and the tiger sees the cow then it sees the squirrel.
The cow is not young.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the cow.[(triple3)] The cow is cold.[(triple4)] The cow sees the bald eagle.[(triple5)] The cow sees the tiger.[(triple6)] The squirrel eats the cow.[(triple7)] The squirrel is big.[(triple8)] The squirrel needs the bald eagle.[(triple9)] The squirrel needs the cow.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel sees the cow.[(triple12)] The squirrel sees the tiger.[(triple13)] The tiger is big.[(triple14)] The tiger needs the bald eagle.[(triple15)] The tiger sees the cow.[(triple16)] @1: The bald eagle is young.[(((triple2) -> rule2))] The squirrel is nice.[(((triple8 triple11) -> rule1))] The squirrel needs the squirrel.[(((triple9 triple2) -> rule6))] The tiger needs the squirrel.[(((triple15 triple2) -> rule6))] @2: The squirrel is round.[(((((triple15 triple2) -> rule6) triple12) -> rule7) OR ((((triple9 triple2) -> rule6) triple12) -> rule7))] @3: The squirrel is young.[(((((((triple15 triple2) -> rule6) triple12) -> rule7)) -> rule2) OR ((((((triple9 triple2) -> rule6) triple12) -> rule7)) -> rule2))]