Anne is blue. Anne is nice. Anne is young. Charlie is big. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is white. Charlie is young. Dave is blue. Dave is furry. Dave is nice. Dave is round. Harry is big. Harry is nice. Harry is young. If Dave is nice and Dave is blue then Dave is big. All round, white people are big.
Dave is not big.