Gary is not quiet. Gary is white. Harry is not white. Blue people are not furry. Big people are blue. All white people are big. If someone is furry then they are white. If someone is blue and not white then they are cold. If Gary is cold and Gary is white then Gary is not quiet.
Gary is big.
@0: Gary is not quiet.[(triple1)] Gary is white.[(triple2)] Harry is not white.[(triple3)] @1: Gary is big.[(((triple2) -> rule3))] @2: Gary is blue.[(((((triple2) -> rule3)) -> rule2))] @3: Gary is not furry.[(((((((triple2) -> rule3)) -> rule2)) -> rule1))]