Anne is big. Bob is furry. Harry is red. All cold, round things are big. If Bob is white and Bob is red then Bob is furry. Red, cold things are furry. If Harry is white then Harry is furry. If something is furry then it is big. If something is green then it is white. Cold things are red. All red things are big.
Harry is not red.