Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is rough. Dave is round. Red, nice things are round. Round, kind things are red.
Dave is rough.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is red.[(triple5 OR ((triple7 triple3) -> rule2))] Dave is rough.[(triple6)] Dave is round.[(triple7 OR ((triple5 triple4) -> rule1))]