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