Gary is cold. Gary is furry. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is white. If Gary is quiet and Gary is white then Gary is red.
Gary is not red.
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2)] Gary is quiet.[(triple3)] Gary is red.[(triple4 OR ((triple3 triple7) -> rule1))] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)]