Bob is round. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Dave is not cold. Dave is green. Dave is not round. Dave is smart. Harry is blue. Harry is cold. If Harry is smart and Harry is green then Harry is round. All green things are big. Blue, smart things are green. Big things are smart. All round things are nice. If something is blue then it is big. If something is nice and not big then it is not green.
Bob is not smart.