The bald eagle eats the squirrel. The bald eagle eats the tiger. The bald eagle sees the squirrel. The bald eagle sees the tiger. The squirrel eats the bald eagle. The squirrel eats the tiger. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel needs the tiger. The squirrel sees the tiger. The tiger eats the squirrel. The tiger needs the squirrel. The tiger sees the bald eagle. The tiger sees the squirrel. If something is round then it eats the bald eagle. If something is nice and cold then it eats the squirrel. If something sees the squirrel then it is round. If something eats the bald eagle and the bald eagle eats the tiger then the tiger needs the squirrel. If something sees the tiger then the tiger sees the squirrel. If something is round and it needs the bald eagle then the bald eagle eats the squirrel.
The squirrel is not round.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bald eagle sees the tiger.[(triple4)] The squirrel eats the bald eagle.[(triple5)] The squirrel eats the tiger.[(triple6)] The squirrel is green.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is nice.[(triple9)] The squirrel needs the tiger.[(triple10)] The squirrel sees the tiger.[(triple11)] The tiger eats the squirrel.[(triple12)] The tiger needs the squirrel.[(triple13 OR ((triple5 triple2) -> rule4) OR ((((((triple15) -> rule3)) -> rule1) triple2) -> rule4) OR ((((((triple3) -> rule3)) -> rule1) triple2) -> rule4) OR ((((((((triple11) -> rule5)) -> rule3)) -> rule1) triple2) -> rule4) OR ((((((((triple4) -> rule5)) -> rule3)) -> rule1) triple2) -> rule4))] The tiger sees the bald eagle.[(triple14)] The tiger sees the squirrel.[(triple15 OR ((triple11) -> rule5) OR ((triple4) -> rule5))] @1: The bald eagle is round.[(((triple3) -> rule3))] The tiger is round.[(((triple15) -> rule3) OR ((((triple11) -> rule5)) -> rule3) OR ((((triple4) -> rule5)) -> rule3))] @2: The bald eagle eats the bald eagle.[(((((triple3) -> rule3)) -> rule1))] The tiger eats the bald eagle.[(((((triple15) -> rule3)) -> rule1) OR ((((((triple11) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule5)) -> rule3)) -> rule1))]