Gary is not furry. Gary is green. Gary is kind. Gary is nice. Gary is not quiet. Gary is round. Gary is white. If someone is nice then they are white.
Gary is not kind.
@0: Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is not furry.[(triple1)] Gary is not quiet.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7 OR ((triple4) -> rule1))]