Anne is big. Anne is cold. Anne is smart. Charlie is cold. Charlie is not round. Charlie is smart. Charlie is white. Charlie is young. Dave is big. Dave is blue. Dave is cold. Dave is round. Dave is smart. Dave is white. Dave is young. If something is smart then it is blue. If something is young and cold then it is smart. If something is white and blue then it is smart.
Charlie is big.