Charlie is big. Charlie is kind. Charlie is quiet. Charlie is not red. Charlie is white. Fiona is not big. Fiona is kind. Fiona is quiet. Fiona is not red. Fiona is rough. Fiona is round. Fiona is white. If Charlie is white then Charlie is rough. If something is quiet and red then it is kind. If something is quiet then it is kind. All big, quiet things are kind. If something is white then it is rough. If something is not kind and not big then it is round.
Fiona is not red.