The bald eagle eats the squirrel. The bald eagle is not blue. The bald eagle is rough. The bald eagle is round. The bald eagle likes the squirrel. The squirrel is rough. The squirrel likes the bald eagle. If something sees the squirrel and it likes the bald eagle then the bald eagle is big. If something is rough then it sees the squirrel. If something sees the bald eagle and the bald eagle sees the squirrel then the bald eagle likes the squirrel.
The squirrel does not see the squirrel.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is not blue.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle likes the squirrel.[(triple5)] The squirrel is rough.[(triple6)] The squirrel likes the bald eagle.[(triple7)] @1: The bald eagle sees the squirrel.[(((triple3) -> rule2))] The squirrel sees the squirrel.[(((triple6) -> rule2))] @2: The bald eagle is big.[(((((triple6) -> rule2) triple7) -> rule1))]