The squirrel is green. All rough things are green. If the squirrel is green then the squirrel is big. Cold things are big. All big things are red. All cold things are rough. If the squirrel is green then the squirrel is rough.
The squirrel is not green.
@0: The squirrel is green.[(triple1)] @1: The squirrel is big.[(((triple1) -> rule2))] The squirrel is rough.[(((triple1) -> rule6))] @2: The squirrel is red.[(((((triple1) -> rule2)) -> rule4))]