Bob is red. Dave is round. Erin is rough. Round, cold people are rough. If someone is red and rough then they are big. All rough people are white. If someone is big then they are green. All red people are rough. If someone is big and white then they are round.
Bob is not rough.