Anne is blue. Anne is smart. Fiona is furry. Fiona is nice. Gary is not rough. Gary is not smart. Gary is white. Gary is young. Harry is furry. Harry is nice. Harry is rough. Harry is smart. If something is not rough then it is white. Rough, blue things are furry. Smart, nice things are white. All furry things are young. If Harry is blue and Harry is not nice then Harry is not rough. If something is nice and not young then it is blue.
Gary is not rough.