Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is not quiet. Dave is rough. Dave is young. Cold, blue things are rough. If Dave is not cold then Dave is quiet. If something is cold and not big then it is not blue.
Dave is blue.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is not quiet.[(triple5)] Dave is rough.[(triple6 OR ((triple3 triple2) -> rule1))] Dave is young.[(triple7)]