Bob is big. Bob is furry. Bob is not green. Bob is rough. Charlie is nice. Harry is furry. Harry is smart. If Charlie is not rough then Charlie is big. If Harry is not rough then Harry is not young.
Charlie is not rough.