Bob is big. Bob is cold. Bob is not nice. Bob is round. Bob is smart. Bob is young. Dave is not cold. Dave is nice. Dave is not smart. Dave is young. If Bob is nice then Bob is not big. If someone is not round then they are not smart. If Bob is rough then Bob is not big.
Bob is not rough.