Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is smart. Dave is big. Dave is not quiet. Dave is smart. Gary is cold. Gary is not kind. Cold things are not red. If Dave is kind then Dave is not smart. If something is not cold then it is smart. Quiet things are big. Big things are not red. If Charlie is kind then Charlie is smart.
Charlie is big.