Alan is rough. Charlie is round. Charlie is nice. Charlie is cold. Dave is red. Dave is nice. Dave is big. Eric is young. Eric is round. Eric is cold. Eric is big. If someone is green and round and kind then they are red. If someone is young and nice and round then they are cold. If someone is round and big then they are young. If someone is big and young then they are green. If someone is cold and nice then they are big. If someone is cold and young and rough then they are nice.
Dave is not rough.