Bob is not blue. Charlie is green. Dave is nice. Harry is nice. Green things are big. All quiet things are rough. All quiet things are not green. Green, blue things are not quiet. If something is big then it is not red. If something is not rough then it is green.
Charlie is nice.