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