Bob is furry. Bob is round. Bob is smart. Charlie is not big. Charlie is not round. Dave is not nice. Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is round. Harry is smart. If Harry is big then Harry is not green. All green, big things are furry. If something is big then it is blue. All green things are smart. Smart, round things are nice. If Dave is not furry then Dave is smart.
Dave is big.