Anne is quiet. Anne is young. Bob is nice. Bob is red. Bob is rough. Bob is smart. Bob is young. If Anne is nice then Anne is young. If something is green then it is red.
Anne is not young.
@0: Anne is quiet.[(triple1)] Anne is young.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)]