Charlie is not big. Dave is kind. Fiona is not big. Big things are not kind. All smart things are rough. Kind, green things are smart. If something is not kind then it is green. If something is not red and not big then it is green. Green things are round. If something is not rough then it is round. If something is not rough and not red then it is round.
Charlie is not big.