Dave is blue. Dave is furry. Dave is kind. Dave is red. Dave is rough. Dave is round. Dave is smart. Rough, kind things are blue.
Dave is not kind.
@0: Dave is blue.[(triple1 OR ((triple5 triple3) -> rule1))] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7)]