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