The bald eagle is big. The bald eagle is cold. The bald eagle is green. The bald eagle is red. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The squirrel is green. The squirrel is rough. The squirrel likes the bald eagle. The squirrel sees the bald eagle. The squirrel visits the bald eagle. If someone visits the bald eagle and the bald eagle is cold then they like the bald eagle. If someone sees the squirrel then they visit the bald eagle. If someone likes the bald eagle then they see the squirrel. If someone likes the bald eagle then they are rough. If someone sees the squirrel and the squirrel likes the bald eagle then the bald eagle visits the squirrel. If the squirrel is cold then the squirrel likes the bald eagle. If someone is big and they see the bald eagle then the bald eagle likes the squirrel. If the bald eagle visits the squirrel and the bald eagle likes the squirrel then the squirrel likes the bald eagle.
The squirrel is red.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle likes the squirrel.[(triple5)] The bald eagle sees the squirrel.[(triple6)] The bald eagle visits the squirrel.[(triple7 OR ((triple6 triple10) -> rule5) OR ((triple6 ((triple12 triple2) -> rule1)) -> rule5) OR ((((triple10) -> rule3) triple10) -> rule5) OR ((((triple10) -> rule3) ((triple12 triple2) -> rule1)) -> rule5) OR ((((((triple12 triple2) -> rule1)) -> rule3) triple10) -> rule5) OR ((((((triple12 triple2) -> rule1)) -> rule3) ((triple12 triple2) -> rule1)) -> rule5))] The squirrel is green.[(triple8)] The squirrel is rough.[(triple9 OR ((triple10) -> rule4) OR ((((triple12 triple2) -> rule1)) -> rule4) OR ((((triple7 triple5) -> rule8)) -> rule4))] The squirrel likes the bald eagle.[(triple10 OR ((triple12 triple2) -> rule1) OR ((triple7 triple5) -> rule8))] The squirrel sees the bald eagle.[(triple11)] The squirrel visits the bald eagle.[(triple12 OR ((((triple10) -> rule3)) -> rule2) OR ((((((triple7 triple5) -> rule8)) -> rule3)) -> rule2))] @1: The bald eagle visits the bald eagle.[(((triple6) -> rule2))] The squirrel sees the squirrel.[(((triple10) -> rule3) OR ((((triple12 triple2) -> rule1)) -> rule3) OR ((((triple7 triple5) -> rule8)) -> rule3))] @2: The bald eagle likes the bald eagle.[(((((triple6) -> rule2) triple2) -> rule1))] @3: The bald eagle is rough.[(((((((triple6) -> rule2) triple2) -> rule1)) -> rule4))]