Anne is kind. Charlie is green. Fiona is quiet. Nice people are furry. If Anne is green and Anne is kind then Anne is nice. If Charlie is round then Charlie is nice.
Charlie is not green.
@0: Anne is kind.[(triple1)] Charlie is green.[(triple2)] Fiona is quiet.[(triple3)]