Bob is big. Bob is round. Charlie is big. Erin is blue. Harry is blue. Harry is round. Harry is young. All young things are cold. All big, blue things are young. If something is smart then it is big. If something is big then it is kind. If something is cold and blue then it is round. If something is round and kind then it is blue. All cold things are young. All cold things are young. If Erin is blue then Erin is smart.
Charlie is young.