Dave is big. Dave is not blue. Dave is green. Dave is kind. Dave is not rough. Dave is round. Dave is young. If Dave is big then Dave is green.
Dave is not rough.
@0: Dave is big.[(triple1)] Dave is green.[(triple3 OR ((triple1) -> rule1))] Dave is kind.[(triple4)] Dave is not blue.[(triple2)] Dave is not rough.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7)]