Anne is big. Anne is cold. Anne is red. Bob is furry. Bob is round. Charlie is not big. Charlie is round. Big, red people are round. Quiet people are cold. If someone is big and not red then they are furry. Young people are not furry. Big, cold people are young. If someone is not red and not big then they are cold. If someone is red then they are round. All big people are cold.
Charlie is not furry.