Dave is blue. Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is young. If Dave is nice then Dave is rough. If Dave is red then Dave is young. If Dave is nice and Dave is green then Dave is blue.
Dave is young.
@0: Dave is blue.[(triple1 OR ((triple4 triple3) -> rule3))] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6 OR ((triple4) -> rule1))] Dave is young.[(triple7 OR ((triple5) -> rule2))]