Gary is blue. Gary is furry. Gary is not quiet. Gary is rough. Gary is round. Gary is smart. Gary is white. If someone is quiet and not furry then they are white. If someone is white then they are smart.
Gary is white.
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2)] Gary is not quiet.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5)] Gary is smart.[(triple6 OR ((triple7) -> rule2))] Gary is white.[(triple7)]