Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is quiet. Dave is rough. Dave is young. Nice, rough things are cold. All nice things are young.
Dave is nice.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple4 triple6) -> rule1))] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7 OR ((triple4) -> rule2))]