Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is smart. Dave is young. If something is young then it is nice. Red, nice things are young.
Dave is not smart.
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2 OR ((triple7) -> rule1))] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7 OR ((triple4 triple2) -> rule2))]