Bob is white. Dave is cold. Dave is red. Erin is big. Erin is cold. Erin is red. Erin is rough. Erin is round. Harry is red. Harry is rough. All big people are red. All red people are big. If someone is furry and big then they are rough. If someone is big then they are furry. If someone is rough and furry then they are white. If Harry is red and Harry is big then Harry is round. If someone is white then they are round. All cold people are big.
Harry is not round.