Dave is green. Dave is nice. Dave is rough. Dave is round. Dave is smart. Dave is white. Dave is young. Round things are green. If something is round and young then it is green.
Dave is not nice.
@0: Dave is green.[(triple1 OR ((triple4) -> rule1) OR ((triple4 triple7) -> rule2))] Dave is nice.[(triple2)] Dave is rough.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)]