Anne is green. Charlie is nice. Fiona is round. All blue, nice things are not smart. All rough things are nice. All green, rough things are nice. All rough, green things are round. If something is rough then it is round. If something is blue and not nice then it is not rough.
Charlie is not round.