Dave is big. Dave is nice. Dave is not quiet. Dave is rough. Dave is not round. Dave is smart. Dave is not white. If Dave is not white then Dave is smart. If something is round then it is quiet.
Dave is nice.
@0: Dave is big.[(triple1)] Dave is nice.[(triple2)] Dave is not quiet.[(triple3)] Dave is not round.[(triple5)] Dave is not white.[(triple7)] Dave is rough.[(triple4)] Dave is smart.[(triple6 OR ((triple7) -> rule1))]