The bald eagle is blue. The bald eagle is cold. The bald eagle likes the squirrel. The bald eagle does not need the squirrel. The bald eagle visits the squirrel. The squirrel is round. The squirrel is young. The squirrel likes the bald eagle. The squirrel needs the bald eagle. The squirrel visits the bald eagle. If something is nice and it visits the bald eagle then it likes the bald eagle. If the squirrel is young then the squirrel is round. If something visits the bald eagle and the bald eagle likes the squirrel then the squirrel visits the bald eagle. If something likes the bald eagle and the bald eagle is nice then it is blue. If something likes the bald eagle and it does not need the squirrel then it is not blue. If something is round and it likes the squirrel then it is cold. If the bald eagle visits the squirrel then the bald eagle is round. If something visits the squirrel then it likes the squirrel.
The bald eagle is not blue.
@0: The bald eagle does not need the squirrel.[(triple4)] The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2 OR ((((triple5) -> rule7) triple3) -> rule6) OR ((((triple5) -> rule7) ((triple5) -> rule8)) -> rule6))] The bald eagle likes the squirrel.[(triple3 OR ((triple5) -> rule8))] The bald eagle visits the squirrel.[(triple5)] The squirrel is round.[(triple6 OR ((triple7) -> rule2))] The squirrel is young.[(triple7)] The squirrel likes the bald eagle.[(triple8)] The squirrel needs the bald eagle.[(triple9)] The squirrel visits the bald eagle.[(triple10)] @1: The bald eagle is round.[(((triple5) -> rule7))]