The bald eagle is cold. The bald eagle is kind. The bald eagle visits the squirrel. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel likes the bald eagle. The squirrel needs the bald eagle. The squirrel visits the bald eagle. If something is red then it needs the squirrel. If something likes the bald eagle and the bald eagle likes the squirrel then the bald eagle is green. If something is kind and green then it visits the squirrel. If something needs the bald eagle then it visits the squirrel. If something needs the bald eagle then it is nice. If something likes the bald eagle then it needs the bald eagle. If something needs the bald eagle then it visits the bald eagle. If something is kind then it likes the bald eagle.
The squirrel needs the squirrel.
@0: The bald eagle is cold.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle visits the squirrel.[(triple3 OR ((((((triple2) -> rule8)) -> rule6)) -> rule4))] The squirrel is cold.[(triple4)] The squirrel is green.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is nice.[(triple7 OR ((triple9) -> rule5) OR ((((triple8) -> rule6)) -> rule5) OR ((((((triple6) -> rule8)) -> rule6)) -> rule5))] The squirrel likes the bald eagle.[(triple8 OR ((triple6) -> rule8))] The squirrel needs the bald eagle.[(triple9 OR ((triple8) -> rule6) OR ((((triple6) -> rule8)) -> rule6))] The squirrel visits the bald eagle.[(triple10 OR ((triple9) -> rule7) OR ((((triple8) -> rule6)) -> rule7) OR ((((((triple6) -> rule8)) -> rule6)) -> rule7))] @1: The bald eagle likes the bald eagle.[(((triple2) -> rule8))] The squirrel visits the squirrel.[(((triple9) -> rule4) OR ((triple6 triple5) -> rule3) OR ((((triple8) -> rule6)) -> rule4) OR ((((((triple6) -> rule8)) -> rule6)) -> rule4))] @2: The bald eagle needs the bald eagle.[(((((triple2) -> rule8)) -> rule6))] @3: The bald eagle is nice.[(((((((triple2) -> rule8)) -> rule6)) -> rule5))] The bald eagle visits the bald eagle.[(((((((triple2) -> rule8)) -> rule6)) -> rule7))]