The squirrel is big. The squirrel is red. The squirrel is young. Red, rough people are young. If someone is green and young then they are red. If someone is red then they are green.
The squirrel is young.
@0: The squirrel is big.[(triple1)] The squirrel is red.[(triple2)] The squirrel is young.[(triple3)] @1: The squirrel is green.[(((triple2) -> rule3))]