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