Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Dave is white. All quiet, rough things are white.
Dave is not rough.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is white.[(triple7 OR ((triple5 triple6) -> rule1))]