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