Charlie is big. Charlie is cold. Charlie is green. Dave is big. Dave is green. Dave is quiet. Erin is cold. Erin is round. Harry is big. Harry is young. All young, big things are quiet. All quiet, young things are blue. If something is green then it is big. Cold things are green. All big things are young. If Erin is round then Erin is cold.
Harry is not round.