Charlie is big. Charlie is young. Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is not round. Dave is not smart. Erin is furry. Erin is green. Harry is big. Harry is blue. Harry is green. Harry is round. Harry is smart. Harry is young. If Erin is smart and Erin is round then Erin is blue. If Harry is young and Harry is round then Harry is green. If something is young then it is green. If something is not furry then it is smart. All young things are smart. If something is round and not smart then it is not furry. If something is round and not smart then it is green. If something is not green then it is big.
Charlie is smart.