Bob is big. Charlie is round. Erin is round. Harry is smart. If something is smart and cold then it is nice. Nice things are not rough. If Harry is not big then Harry is cold. If something is big and not rough then it is not smart. Cold things are round. All round things are cold. If something is cold and big then it is round. All nice things are smart.
Charlie is rough.