Anne is cold. Anne is red. Bob is cold. Bob is red. Bob is rough. Bob is white. Charlie is blue. Charlie is cold. Charlie is red. Charlie is rough. Charlie is white. Gary is blue. Gary is red. Gary is round. Gary is white. Gary is young. All round people are white. If Anne is rough and Anne is blue then Anne is young. Cold people are round. If Anne is rough then Anne is round. If someone is round then they are young. All round, white people are rough.
Charlie is not rough.