Dave is red. Erin is red. Gary is young. Harry is red. If something is cold and not smart then it is round. If Erin is round then Erin is red. All young, smart things are cold. If Harry is red and Harry is not big then Harry is rough. If something is young and not smart then it is cold. Young, round things are rough. Smart, round things are not young. If Dave is not rough then Dave is not round.
Dave is big.