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 white.
@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))]