The squirrel is big. Big, rough people are red. All rough, young people are big. All rough, young people are not green. If someone is big then they are green. Young, rough people are green. All green people are rough. Red, big people are rough. If the squirrel is green then the squirrel is big.
The squirrel is not young.
@0: The squirrel is big.[(triple1)] @1: The squirrel is green.[(((triple1) -> rule4))] @2: The squirrel is rough.[(((((triple1) -> rule4)) -> rule6))] @3: The squirrel is red.[(((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule1))]