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