Anne is red. Anne is rough. Charlie is big. Charlie is kind. Charlie is red. Dave is furry. Dave is green. Fiona is furry. Fiona is green. Fiona is kind. Kind things are nice. If something is red then it is kind. Nice, kind things are furry. If Anne is rough and Anne is big then Anne is nice. All furry things are green. Big things are green. Rough things are kind. All rough, nice things are kind. Rough, green things are big.
Charlie is not furry.