The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is kind. The bald eagle is nice. The bald eagle needs the cow. The bald eagle needs the squirrel. The bald eagle sees the cow. The bald eagle sees the squirrel. The cow is big. The cow is nice. The cow needs the squirrel. The cow sees the squirrel. The squirrel eats the cow. The squirrel needs the bald eagle. The squirrel needs the cow. If something is kind then it sees the bald eagle. If something sees the squirrel and the squirrel is big then the squirrel sees the cow. If something sees the cow then the cow eats the bald eagle. If the squirrel needs the cow then the squirrel is round. If the squirrel is round and the squirrel needs the bald eagle then the squirrel is big. If something is nice and it sees the squirrel then the squirrel is red. If something is nice then it needs the cow. Round things are nice.
The squirrel does not see the cow.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle needs the cow.[(triple5 OR ((triple4) -> rule7))] The bald eagle needs the squirrel.[(triple6)] The bald eagle sees the cow.[(triple7)] The bald eagle sees the squirrel.[(triple8)] The cow is big.[(triple9)] The cow is nice.[(triple10)] The cow needs the squirrel.[(triple11)] The cow sees the squirrel.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel needs the bald eagle.[(triple14)] The squirrel needs the cow.[(triple15)] @1: The bald eagle sees the bald eagle.[(((triple3) -> rule1))] The cow eats the bald eagle.[(((triple7) -> rule3) OR ((((triple12 ((((triple15) -> rule4) triple14) -> rule5)) -> rule2)) -> rule3) OR ((((triple8 ((((triple15) -> rule4) triple14) -> rule5)) -> rule2)) -> rule3))] The cow needs the cow.[(((triple10) -> rule7))] The squirrel is red.[(((triple10 triple12) -> rule6) OR ((triple4 triple8) -> rule6))] The squirrel is round.[(((triple15) -> rule4))] @2: The squirrel is big.[(((((triple15) -> rule4) triple14) -> rule5))] The squirrel is nice.[(((((triple15) -> rule4)) -> rule8))] @3: The squirrel sees the cow.[(((triple12 ((((triple15) -> rule4) triple14) -> rule5)) -> rule2) OR ((triple8 ((((triple15) -> rule4) triple14) -> rule5)) -> rule2))]