Charlie is big. Dave is big. Erin is not green. Harry is big. If someone is big and green then they are rough. If someone is white then they are not blue. If Harry is blue then Harry is rough. If someone is red and not big then they are green. If Harry is not red then Harry is blue. If someone is rough and not white then they are furry. If Charlie is red and Charlie is not rough then Charlie is blue. If Charlie is white and Charlie is not green then Charlie is not big.
Dave is big.