Charlie is rough. Dave is big. Dave is green. Erin is cold. Erin is not quiet. Harry is cold. Harry is green. If Erin is green then Erin is big. If Dave is green then Dave is rough. If something is cold and not young then it is big. If something is rough and young then it is quiet. All young things are not green. If Erin is cold and Erin is rough then Erin is green. Big, rough things are cold. If something is rough then it is cold.
Erin is not big.