The bald eagle chases the squirrel. The bald eagle chases the tiger. The bald eagle is round. The squirrel does not chase the bald eagle. The squirrel is nice. The tiger chases the squirrel. The tiger is big. If the tiger is rough and the tiger needs the bald eagle then the bald eagle is rough. If someone sees the bald eagle and the bald eagle is nice then the bald eagle does not see the squirrel. If someone chases the squirrel then they see the squirrel. If someone sees the squirrel then the squirrel sees the bald eagle. If the squirrel chases the tiger then the tiger is not rough. If someone sees the bald eagle then they are big.
The squirrel is cold.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is round.[(triple3)] The squirrel does not chase the bald eagle.[(triple4)] The squirrel is nice.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger is big.[(triple7)] @1: The bald eagle sees the squirrel.[(((triple1) -> rule3))] The tiger sees the squirrel.[(((triple6) -> rule3))] @2: The squirrel sees the bald eagle.[(((((triple1) -> rule3)) -> rule4) OR ((((triple6) -> rule3)) -> rule4))] @3: The squirrel is big.[(((((((triple1) -> rule3)) -> rule4)) -> rule6) OR ((((((triple6) -> rule3)) -> rule4)) -> rule6))]