Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is red. Charlie is smart. Charlie is white. If Charlie is red and Charlie is not white then Charlie is not cold.
Charlie is not smart.