Dave is not big. Dave is furry. Dave is not kind. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. All big, nice things are quiet. If something is nice and not smart then it is kind. Furry, big things are not rough.
Dave is quiet.
@0: Dave is furry.[(triple2)] Dave is nice.[(triple4)] Dave is not big.[(triple1)] Dave is not kind.[(triple3)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)]