Erin is round. Gary is round. Harry is blue. All blue, nice people are big. Red people are not big. If someone is blue and not round then they are not rough. If someone is blue then they are white. If Harry is white then Harry is nice. If Gary is rough and Gary is not big then Gary is not white.
Gary is not big.
@0: Erin is round.[(triple1)] Gary is round.[(triple2)] Harry is blue.[(triple3)] @1: Harry is white.[(((triple3) -> rule4))] @2: Harry is nice.[(((((triple3) -> rule4)) -> rule5))] @3: Harry is big.[(((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule1))]