Anne is kind. Bob is young. Dave is green. Gary is quiet. All rough people are not green. If someone is round and not green then they are quiet.
Bob is not young.
@0: Anne is kind.[(triple1)] Bob is young.[(triple2)] Dave is green.[(triple3)] Gary is quiet.[(triple4)]