Anne is big. Anne is nice. Anne is quiet. Anne is red. Anne is round. Dave is big. Dave is blue. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is round. All furry people are big. If someone is furry and big then they are blue. Nice people are blue. All red people are nice. All quiet people are blue. If Anne is quiet then Anne is furry.
Anne is not big.