Bob is red. Charlie is blue. All cold things are red. Red, big things are rough. If Charlie is blue then Charlie is cold. All rough things are blue. If something is rough then it is red. Young, big things are rough. If Bob is big then Bob is cold. All young, cold things are big.
Bob is not rough.