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