Anne is blue. Anne is furry. Anne is green. Anne is quiet. Bob is quiet. Bob is red. Charlie is green. Charlie is kind. Charlie is quiet. Fiona is blue. Fiona is kind. Fiona is quiet. If Charlie is kind and Charlie is green then Charlie is quiet.
Charlie is not kind.