The squirrel is big. All round people are rough. Green, round people are not rough. If someone is green then they are rough. If someone is big then they are green. Rough people are nice. Rough people are big.
The squirrel is not green.
@0: The squirrel is big.[(triple1)] @1: The squirrel is green.[(((triple1) -> rule4))] @2: The squirrel is rough.[(((((triple1) -> rule4)) -> rule3))] @3: The squirrel is nice.[(((((((triple1) -> rule4)) -> rule3)) -> rule5))]