Bob is big. Bob is furry. Bob is quiet. Dave is quiet. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is rough. Harry is big. Harry is furry. Harry is red. If Harry is blue and Harry is furry then Harry is kind. If something is red then it is quiet. All blue things are quiet.
Harry is not red.