Anne is nice. Anne is smart. Charlie is big. Charlie is cold. Charlie is nice. Charlie is round. Charlie is smart. Harry is big. Harry is cold. Harry is kind. Harry is smart. Harry is young. If Charlie is young and Charlie is nice then Charlie is smart. Big, smart things are cold. Smart things are round. All kind things are nice. If something is young then it is smart. All round things are big.
Harry is not nice.