Charlie is kind. Charlie is nice. Fiona is nice. Fiona is rough. Fiona is round. Gary is cold. Harry is kind. If something is round then it is white. If Gary is blue then Gary is not nice. Cold things are not white. If Charlie is kind and Charlie is not white then Charlie is nice. If something is not white then it is rough. If something is white and not rough then it is blue.
Fiona is not rough.