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