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