The bald eagle is blue. The bald eagle is green. The bald eagle is round. The bald eagle likes the squirrel. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The squirrel is red. The squirrel likes the bald eagle. The squirrel needs the bald eagle. The squirrel sees the bald eagle. If something is round and it sees the squirrel then it likes the squirrel. If something is round and it sees the squirrel then it likes the squirrel. If something needs the bald eagle then it sees the bald eagle. If the bald eagle needs the squirrel then the squirrel is green. If something sees the bald eagle then it is blue. If something needs the bald eagle then it sees the bald eagle. If something likes the bald eagle then it likes the squirrel. If something needs the bald eagle and it sees the bald eagle then it needs the squirrel.
The bald eagle is green.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the squirrel.[(triple4 OR ((triple3 triple6) -> rule1) OR ((triple3 triple6) -> rule2))] The bald eagle needs the squirrel.[(triple5)] The bald eagle sees the squirrel.[(triple6)] The squirrel is red.[(triple7)] The squirrel likes the bald eagle.[(triple8)] The squirrel needs the bald eagle.[(triple9)] The squirrel sees the bald eagle.[(triple10 OR ((triple9) -> rule3) OR ((triple9) -> rule6))] @1: The squirrel is blue.[(((triple10) -> rule5) OR ((((triple9) -> rule3)) -> rule5) OR ((((triple9) -> rule6)) -> rule5))] The squirrel is green.[(((triple5) -> rule4))] The squirrel likes the squirrel.[(((triple8) -> rule7))] The squirrel needs the squirrel.[(((triple9 triple10) -> rule8) OR ((triple9 ((triple9) -> rule3)) -> rule8) OR ((triple9 ((triple9) -> rule6)) -> rule8))]