Anne is quiet. Anne is not smart. Anne is young. Dave is quiet. Dave is round. Dave is not smart. Dave is white. If someone is big and not white then they are young.
Anne is quiet.
@0: Anne is not smart.[(triple2)] Anne is quiet.[(triple1)] Anne is young.[(triple3)] Dave is not smart.[(triple6)] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple7)]