Anne is furry. Bob is smart. Charlie is white. Dave is furry. All green, smart things are red. If Anne is white and Anne is cold then Anne is furry. If something is cold and green then it is white. Round things are smart. If Anne is furry then Anne is white. Red, round things are cold. If something is white then it is round. All smart, round things are cold.
Charlie is round.