The bald eagle is kind. The bald eagle sees the bear. The bald eagle visits the bear. The bald eagle visits the squirrel. The bear chases the bald eagle. The bear chases the squirrel. The bear is red. The bear is rough. The bear sees the bald eagle. The bear sees the squirrel. The bear visits the bald eagle. The bear visits the squirrel. The squirrel chases the bear. The squirrel sees the bald eagle. The squirrel visits the bear. If someone visits the bald eagle then they chase the bald eagle. If someone is cold then they chase the squirrel. If someone visits the bear then they see the squirrel. If someone sees the bear then the bear is not cold. If someone is kind and they visit the bald eagle then the bald eagle is red. If someone visits the squirrel then the squirrel visits the bald eagle. If someone visits the squirrel then they see the bear. If someone chases the bald eagle and they chase the bear then they are red.
The squirrel visits the bald eagle.
@0: The bald eagle is kind.[(triple1)] The bald eagle sees the bear.[(triple2 OR ((triple4) -> rule7))] The bald eagle visits the bear.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The bear chases the bald eagle.[(triple5 OR ((triple11) -> rule1))] The bear chases the squirrel.[(triple6)] The bear is red.[(triple7)] The bear is rough.[(triple8)] The bear sees the bald eagle.[(triple9)] The bear sees the squirrel.[(triple10)] The bear visits the bald eagle.[(triple11)] The bear visits the squirrel.[(triple12)] The squirrel chases the bear.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel visits the bear.[(triple15)] @1: The bald eagle sees the squirrel.[(((triple3) -> rule3))] The bear is not cold.[(((triple2) -> rule4) OR ((((triple12) -> rule7)) -> rule4) OR ((((triple4) -> rule7)) -> rule4))] The bear sees the bear.[(((triple12) -> rule7))] The squirrel sees the squirrel.[(((triple15) -> rule3))] The squirrel visits the bald eagle.[(((triple12) -> rule6) OR ((triple4) -> rule6))] @2: The squirrel chases the bald eagle.[(((((triple12) -> rule6)) -> rule1) OR ((((triple4) -> rule6)) -> rule1))] @3: The squirrel is red.[(((((((triple12) -> rule6)) -> rule1) triple13) -> rule8) OR ((((((triple4) -> rule6)) -> rule1) triple13) -> rule8))]