Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is red. Dave is rough. Dave is young. If something is red and blue then it is green. All red things are furry.
Dave is not young.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((triple5) -> rule2))] Dave is green.[(triple4 OR ((triple5 triple1) -> rule1))] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)]