Bob is green. Charlie is kind. Charlie is nice. Charlie is rough. Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is not rough. Fiona is big. Fiona is kind. If Bob is kind then Bob is rough. All red things are green. Red, nice things are furry. If something is green then it is nice. Nice things are kind. All big things are green. Rough things are red. If something is not nice then it is big.
Bob is rough.