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