The bear needs the lion. The lion sees the squirrel. The squirrel is red. Red people are big.
The squirrel is not big.
@0: The bear needs the lion.[(triple1)] The lion sees the squirrel.[(triple2)] The squirrel is red.[(triple3)] @1: The squirrel is big.[(((triple3) -> rule1))]