Anne is furry. Anne is quiet. Charlie is green. Erin is furry. Erin is white. Gary is kind. Gary is rough. If something is white and rough then it is kind. If something is furry then it is white.
Gary is white.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Charlie is green.[(triple3)] Erin is furry.[(triple4)] Erin is white.[(triple5 OR ((triple4) -> rule2))] Gary is kind.[(triple6)] Gary is rough.[(triple7)] @1: Anne is white.[(((triple1) -> rule2))]