The bald eagle eats the bear. The bald eagle eats the squirrel. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle needs the squirrel. The bald eagle visits the squirrel. The bear eats the bald eagle. The bear eats the squirrel. The bear is rough. The bear needs the bald eagle. The bear needs the squirrel. The bear visits the squirrel. The squirrel is cold. The squirrel is green. If the bear eats the squirrel and the bear eats the bald eagle then the squirrel is nice. If someone needs the squirrel then the squirrel eats the bear. If someone eats the squirrel then the squirrel visits the bald eagle. If someone needs the squirrel and they visit the bald eagle then the bald eagle is kind. If someone needs the bald eagle and they eat the bald eagle then the bald eagle needs the squirrel. If someone is green and they need the bear then they need the squirrel. If the bear visits the bald eagle and the bear visits the squirrel then the squirrel is nice. If someone eats the bear then they need the bear.
The bald eagle is cold.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4 OR ((((triple16 ((((triple13) -> rule2)) -> rule8)) -> rule6) ((triple10) -> rule3)) -> rule4) OR ((((triple16 ((((triple13) -> rule2)) -> rule8)) -> rule6) ((triple2) -> rule3)) -> rule4) OR ((((triple16 ((((triple7) -> rule2)) -> rule8)) -> rule6) ((triple10) -> rule3)) -> rule4) OR ((((triple16 ((((triple7) -> rule2)) -> rule8)) -> rule6) ((triple2) -> rule3)) -> rule4) OR ((((triple16 ((((((triple12 triple9) -> rule5)) -> rule2)) -> rule8)) -> rule6) ((triple10) -> rule3)) -> rule4) OR ((((triple16 ((((((triple12 triple9) -> rule5)) -> rule2)) -> rule8)) -> rule6) ((triple2) -> rule3)) -> rule4) OR ((((triple16 ((((((triple3 ((triple1) -> rule8)) -> rule6)) -> rule2)) -> rule8)) -> rule6) ((triple10) -> rule3)) -> rule4) OR ((((triple16 ((((((triple3 ((triple1) -> rule8)) -> rule6)) -> rule2)) -> rule8)) -> rule6) ((triple2) -> rule3)) -> rule4))] The bald eagle is nice.[(triple5)] The bald eagle is rough.[(triple6)] The bald eagle needs the squirrel.[(triple7 OR ((triple12 triple9) -> rule5) OR ((triple3 ((triple1) -> rule8)) -> rule6))] The bald eagle visits the squirrel.[(triple8)] The bear eats the bald eagle.[(triple9)] The bear eats the squirrel.[(triple10)] The bear is rough.[(triple11)] The bear needs the bald eagle.[(triple12)] The bear needs the squirrel.[(triple13)] The bear visits the squirrel.[(triple14)] The squirrel is cold.[(triple15)] The squirrel is green.[(triple16)] @1: The bald eagle needs the bear.[(((triple1) -> rule8))] The squirrel eats the bear.[(((triple13) -> rule2) OR ((triple7) -> rule2) OR ((((triple12 triple9) -> rule5)) -> rule2) OR ((((triple3 ((triple1) -> rule8)) -> rule6)) -> rule2))] The squirrel is nice.[(((triple10 triple9) -> rule1))] The squirrel visits the bald eagle.[(((triple10) -> rule3) OR ((triple2) -> rule3))] @2: The squirrel needs the bear.[(((((triple13) -> rule2)) -> rule8) OR ((((triple7) -> rule2)) -> rule8) OR ((((((triple12 triple9) -> rule5)) -> rule2)) -> rule8) OR ((((((triple3 ((triple1) -> rule8)) -> rule6)) -> rule2)) -> rule8))] @3: The squirrel needs the squirrel.[(((triple16 ((((triple13) -> rule2)) -> rule8)) -> rule6) OR ((triple16 ((((triple7) -> rule2)) -> rule8)) -> rule6) OR ((triple16 ((((((triple12 triple9) -> rule5)) -> rule2)) -> rule8)) -> rule6) OR ((triple16 ((((((triple3 ((triple1) -> rule8)) -> rule6)) -> rule2)) -> rule8)) -> rule6))]