Dave is blue. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is white. Dave is young. All rough, red things are blue. All blue, young things are smart. All round, smart things are rough.
Dave is not blue.
@0: Dave is blue.[(triple1 OR ((triple3 triple2) -> rule1) OR ((((triple4 triple5) -> rule3) triple2) -> rule1))] Dave is red.[(triple2)] Dave is rough.[(triple3 OR ((triple4 triple5) -> rule3) OR ((triple4 ((triple1 triple7) -> rule2)) -> rule3))] Dave is round.[(triple4)] Dave is smart.[(triple5 OR ((triple1 triple7) -> rule2) OR ((((triple3 triple2) -> rule1) triple7) -> rule2))] Dave is white.[(triple6)] Dave is young.[(triple7)]