Anne is kind. Gary is red. Harry is big. All white, green people are big. If someone is green then they are big. Blue, kind people are white. If Harry is red then Harry is white. If Harry is red then Harry is not blue. If someone is red then they are green. White people are green. If someone is big then they are round.
Gary is not blue.
@0: Anne is kind.[(triple1)] Gary is red.[(triple2)] Harry is big.[(triple3)] @1: Gary is green.[(((triple2) -> rule6))] Harry is round.[(((triple3) -> rule8))] @2: Gary is big.[(((((triple2) -> rule6)) -> rule2))] @3: Gary is round.[(((((((triple2) -> rule6)) -> rule2)) -> rule8))]