The bald eagle chases the squirrel. The bear is not big. The bear is round. The bear is not young. The bear needs the cat. The bear needs the squirrel. The cat chases the bald eagle. The cat chases the bear. The cat is cold. The cat sees the squirrel. The squirrel chases the bear. The squirrel chases the cat. The squirrel is cold. The squirrel is green. The squirrel is round. The squirrel sees the bear. If something needs the squirrel then it sees the bear. If something is young then it sees the bear. If something is young and it chases the squirrel then the squirrel sees the cat. If something needs the cat then it needs the squirrel. If something is round and it chases the cat then it chases the squirrel. If something chases the squirrel and it is round then the squirrel is young. If something sees the cat and the cat sees the squirrel then the cat chases the bald eagle. If something chases the bear and the bear does not see the squirrel then the squirrel is big.
The bear does not chase the squirrel.
@0: The bald eagle chases the squirrel.[(triple1)] The bear is not big.[(triple2)] The bear is not young.[(triple4)] The bear is round.[(triple3)] The bear needs the cat.[(triple5)] The bear needs the squirrel.[(triple6 OR ((triple5) -> rule4))] The cat chases the bald eagle.[(triple7 OR ((((((((triple15 triple12) -> rule5) triple15) -> rule6) ((triple15 triple12) -> rule5)) -> rule3) triple10) -> rule7))] The cat chases the bear.[(triple8)] The cat is cold.[(triple9)] The cat sees the squirrel.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel chases the cat.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is green.[(triple14)] The squirrel is round.[(triple15)] The squirrel sees the bear.[(triple16 OR ((((((triple15 triple12) -> rule5) triple15) -> rule6)) -> rule2))] @1: The bear sees the bear.[(((triple6) -> rule1) OR ((((triple5) -> rule4)) -> rule1))] The squirrel chases the squirrel.[(((triple15 triple12) -> rule5))] @2: The squirrel is young.[(((((triple15 triple12) -> rule5) triple15) -> rule6))] @3: The squirrel sees the cat.[(((((((triple15 triple12) -> rule5) triple15) -> rule6) ((triple15 triple12) -> rule5)) -> rule3))]