Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is round. Gary is white. Gary is young. Cold, kind things are quiet. If something is cold and white then it is furry.
Gary is not quiet.
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2 OR ((triple1 triple6) -> rule2))] Gary is kind.[(triple3)] Gary is quiet.[(triple4 OR ((triple1 triple3) -> rule1))] Gary is round.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]