Anne is cold. Anne is white. Bob is big. Bob is cold. Bob is nice. Bob is round. Bob is white. Charlie is cold. Charlie is nice. Charlie is round. Charlie is smart. Gary is kind. Gary is nice. Gary is round. Gary is smart. Gary is white. If someone is nice and round then they are big. All smart people are round. All kind, round people are smart. Nice, white people are round. All cold people are big. If Charlie is nice and Charlie is white then Charlie is big. White, kind people are nice. If someone is smart and round then they are white. Cold, big people are kind.
Charlie is not cold.