Charlie is cold. Charlie is green. Charlie is kind. Charlie is round. Charlie is young. Dave is white. Erin is young. Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is young. If something is green then it is kind. If Dave is green and Dave is white then Dave is young. All white things are green. Round, big things are cold. All round things are green. All young, round things are big. Round things are big. Young things are round.
Dave is not big.