Bob is nice. Erin is big. Erin is smart. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is round. Harry is green. Harry is quiet. Harry is round. If something is smart and green then it is big. All nice things are blue. All smart things are green. All blue things are smart. If Erin is blue and Erin is quiet then Erin is green. Smart things are nice. All big things are round.
Harry is blue.