Anne is rough. Bob is round. Dave is red. Gary is round. If Anne is red and Anne is rough then Anne is green. Rough people are red. If Gary is not green then Gary is round.
Gary is not red.
@0: Anne is rough.[(triple1)] Bob is round.[(triple2)] Dave is red.[(triple3)] Gary is round.[(triple4)] @1: Anne is red.[(((triple1) -> rule2))] @2: Anne is green.[(((((triple1) -> rule2) triple1) -> rule1))]