Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is round. Dave is white. Dave is young. All blue people are round. Nice people are young. White people are big.
Dave is nice.
@0: Dave is big.[(triple1 OR ((triple6) -> rule3))] Dave is blue.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is round.[(triple5 OR ((triple2) -> rule1))] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple4) -> rule2))]