Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is young. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. If Charlie is nice and Charlie is young then Charlie is green. All young, green people are nice.
Charlie is not rough.