Bob is kind. Erin is white. Gary is green. All green, kind things are young. If Gary is green then Gary is kind.
Gary is not kind.
@0: Bob is kind.[(triple1)] Erin is white.[(triple2)] Gary is green.[(triple3)] @1: Gary is kind.[(((triple3) -> rule2))] @2: Gary is young.[(((triple3 ((triple3) -> rule2)) -> rule1))]