Gary is big. If Gary is white then Gary is round. If someone is red then they are quiet. All big people are white. If someone is nice and red then they are big. Cold, round people are big. Round people are red.
Gary is not white.
@0: Gary is big.[(triple1)] @1: Gary is white.[(((triple1) -> rule3))] @2: Gary is round.[(((((triple1) -> rule3)) -> rule1))] @3: Gary is red.[(((((((triple1) -> rule3)) -> rule1)) -> rule6))] @4: Gary is quiet.[(((((((((triple1) -> rule3)) -> rule1)) -> rule6)) -> rule2))]