Bob is not green. Bob is kind. Bob is not red. Bob is round. Dave is cold. Dave is green. Dave is red. Dave is rough. Dave is white. Erin is not cold. Erin is green. Erin is not kind. Erin is red. Erin is rough. Erin is round. Erin is white. All cold things are round. If something is white then it is round. Rough things are green. If something is rough and not white then it is green. If Dave is not round then Dave is cold. If Bob is cold and Bob is not green then Bob is red.
Bob is rough.