Anne is furry. Anne is quiet. Anne is young. Gary is furry. Gary is green. Gary is quiet. Gary is rough. If someone is quiet then they are rough.
Gary is not cold.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3)] Gary is furry.[(triple4)] Gary is green.[(triple5)] Gary is quiet.[(triple6)] Gary is rough.[(triple7 OR ((triple6) -> rule1))] @1: Anne is rough.[(((triple2) -> rule1))]