Anne is furry. Bob is blue. Bob is green. Erin is kind. Erin is rough. Gary is blue. Gary is white. Blue things are green.
Gary is green.
@0: Anne is furry.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3 OR ((triple2) -> rule1))] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Gary is blue.[(triple6)] Gary is white.[(triple7)] @1: Gary is green.[(((triple6) -> rule1))]