Anne is big. Anne is furry. Anne is red. Anne is round. Anne is smart. Anne is white. Dave is red. Dave is round. Dave is smart. Dave is white. If someone is smart then they are big. If Anne is blue then Anne is round.
Anne is not big.