Anne is nice. Anne is round. Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is round. Charlie is smart. Dave is furry. Dave is green. Dave is nice. Dave is not smart. If Bob is green then Bob is round. All green people are round. If someone is not smart then they are cold. All quiet, round people are green. If Charlie is smart then Charlie is nice. All cold, round people are quiet. Nice people are round. All round people are cold. If Bob is furry and Bob is not quiet then Bob is cold.
Charlie is not round.