Dave is cold. Dave is furry. Dave is quiet. Dave is rough. Dave is young. Gary is young. Harry is cold. Harry is rough. Harry is white. Harry is young. If something is rough and not quiet then it is cold. White things are cold. If something is cold and not rough then it is green.
Dave is rough.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4)] Dave is young.[(triple5)] Gary is young.[(triple6)] Harry is cold.[(triple7 OR ((triple9) -> rule2))] Harry is rough.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)]