Erin is red. Gary is round. All young people are green. Round people are young.
Gary is not green.
@0: Erin is red.[(triple1)] Gary is round.[(triple2)] @1: Gary is young.[(((triple2) -> rule2))] @2: Gary is green.[(((((triple2) -> rule2)) -> rule1))]