Gary is blue. Gary is cold. Gary is furry. Gary is quiet. Gary is red. Gary is rough. Gary is young. All rough, quiet people are furry. All quiet, rough people are blue.
Gary is furry.
@0: Gary is blue.[(triple1 OR ((triple4 triple6) -> rule2))] Gary is cold.[(triple2)] Gary is furry.[(triple3 OR ((triple6 triple4) -> rule1))] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is young.[(triple7)]