Anne is furry. Bob is young. Dave is not kind. Fiona is green. All young, red things are not furry. All nice things are kind. All red things are nice.
Bob is not nice.
@0: Anne is furry.[(triple1)] Bob is young.[(triple2)] Dave is not kind.[(triple3)] Fiona is green.[(triple4)]