Anne is green. Bob is red. Charlie is big. All green things are young. If something is green then it is rough. If Charlie is rough and Charlie is quiet then Charlie is blue. If something is big then it is young. All young, big things are rough. If something is young then it is green.
Bob is not rough.