Gary is red. If someone is kind then they are red. All white, rough people are kind. All rough people are quiet. If someone is rough and white then they are big. If someone is red then they are rough. If someone is quiet and rough then they are kind.
Gary is not big.
@0: Gary is red.[(triple1)] @1: Gary is rough.[(((triple1) -> rule5))] @2: Gary is quiet.[(((((triple1) -> rule5)) -> rule3))] @3: Gary is kind.[(((((((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule6))]