Bob is red. Charlie is blue. If something is nice and red then it is quiet. All nice things are red. All quiet things are red. Young things are quiet. If something is not nice then it is young. If Charlie is nice and Charlie is not big then Charlie is blue.
Bob is not nice.