Anne is big. Anne is furry. Anne is nice. Anne is red. Anne is white. Bob is big. Bob is furry. Bob is red. Charlie is big. Charlie is round. Fiona is nice. Fiona is red. All big, round people are red. All quiet people are furry. If Charlie is red then Charlie is quiet. All quiet, white people are furry. If someone is quiet then they are furry. Furry people are round.
Charlie is not red.