Anne is rough. Anne is white. Anne is young. Charlie is big. Charlie is furry. Charlie is kind. Charlie is not red. Charlie is not rough. Charlie is young. Fiona is kind. Fiona is young. Harry is big. Harry is not kind. Harry is red. Harry is not rough. Furry, rough things are not white. All kind things are big. If something is kind then it is not red. If Charlie is young and Charlie is kind then Charlie is white. If Anne is not red then Anne is white. If something is not big then it is white.
Harry is not kind.