The bald eagle is not kind. The bald eagle is young. The bald eagle sees the squirrel. The bear eats the tiger. The bear is blue. The bear sees the squirrel. The bear visits the tiger. The squirrel eats the bald eagle. The squirrel is not rough. The squirrel visits the bald eagle. The squirrel visits the tiger. The tiger eats the squirrel. The tiger is nice. The tiger visits the bald eagle. The tiger visits the bear. If the tiger is rough then the tiger eats the squirrel. If someone sees the tiger then the tiger visits the bear. If someone is young then they eat the squirrel. If someone is nice then they see the bald eagle. If someone is young and they do not eat the bear then the bear eats the squirrel. If someone visits the squirrel then they see the bear. If someone sees the bald eagle then the bald eagle visits the squirrel. If the bear does not visit the squirrel and the bear does not eat the squirrel then the squirrel sees the bald eagle.
The bald eagle does not see the bear.
@0: The bald eagle is not kind.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bear eats the tiger.[(triple4)] The bear is blue.[(triple5)] The bear sees the squirrel.[(triple6)] The bear visits the tiger.[(triple7)] The squirrel eats the bald eagle.[(triple8)] The squirrel is not rough.[(triple9)] The squirrel visits the bald eagle.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger eats the squirrel.[(triple12)] The tiger is nice.[(triple13)] The tiger visits the bald eagle.[(triple14)] The tiger visits the bear.[(triple15)] @1: The bald eagle eats the squirrel.[(((triple2) -> rule3))] The tiger sees the bald eagle.[(((triple13) -> rule4))] @2: The bald eagle visits the squirrel.[(((((triple13) -> rule4)) -> rule7))] @3: The bald eagle sees the bear.[(((((((triple13) -> rule4)) -> rule7)) -> rule6))]