Anne is not green. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is young. Dave is not green. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is not young. If Dave is green and Dave is young then Dave is smart.
Anne is not green.
@0: Anne is not green.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Dave is not green.[(triple8)] Dave is not young.[(triple14)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Dave is rough.[(triple11)] Dave is round.[(triple12)] Dave is smart.[(triple13)]