Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is red. Bob is round. Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. All green things are round. Blue things are cold. Red things are cold. If Bob is blue and Bob is cold then Bob is furry. Kind, red things are green. Cold things are furry. All round, blue things are kind. All kind things are furry.
Charlie is not round.