Dave is blue. Dave is cold. Dave is green. Dave is quiet. Dave is smart. Dave is white. Dave is young. All smart people are quiet. If Dave is green then Dave is blue. Blue, cold people are young.
Dave is not smart.
@0: Dave is blue.[(triple1 OR ((triple3) -> rule2))] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is quiet.[(triple4 OR ((triple5) -> rule1))] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple1 triple2) -> rule3) OR ((((triple3) -> rule2) triple2) -> rule3))]