Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is not smart. Dave is white. Dave is young. All young, green people are white. All blue people are young.
Dave is not young.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is not smart.[(triple5)] Dave is quiet.[(triple4)] Dave is white.[(triple6 OR ((triple7 triple3) -> rule1) OR ((((triple1) -> rule2) triple3) -> rule1))] Dave is young.[(triple7 OR ((triple1) -> rule2))]