Bob is big. Bob is cold. Bob is furry. Bob is not quiet. Bob is red. Bob is rough. Bob is white. Gary is big. Gary is cold. Gary is not furry. Gary is not quiet. Gary is red. Gary is white. Harry is big. Harry is quiet. Cold things are rough. If something is white then it is cold. If Bob is furry then Bob is big. All quiet things are white. If Bob is not cold then Bob is big. If something is not white and not rough then it is red. If Bob is not big then Bob is not rough. If something is cold and not big then it is not rough.
Harry is not red.