Anne is white. Bob is kind. Gary is blue. Harry is green. Smart people are not kind. All young people are white. If someone is blue then they are young.
Gary is not young.
@0: Anne is white.[(triple1)] Bob is kind.[(triple2)] Gary is blue.[(triple3)] Harry is green.[(triple4)] @1: Gary is young.[(((triple3) -> rule3))] @2: Gary is white.[(((((triple3) -> rule3)) -> rule2))]