Anne is round. Bob is young. Fiona is rough. Harry is not kind. If Anne is green and Anne is young then Anne is rough. If something is kind then it is rough. If Bob is rough then Bob is young.
Anne is not rough.
@0: Anne is round.[(triple1)] Bob is young.[(triple2)] Fiona is rough.[(triple3)] Harry is not kind.[(triple4)]