Anne is cold. Anne is smart. Charlie is cold. Dave is big. Dave is round. Dave is smart. Fiona is big. All smart things are kind. If something is cold and big then it is smart. If something is big then it is nice. All rough things are nice. Cold things are rough. If something is nice and not round then it is big. If something is not kind then it is not rough.
Charlie is round.