Dave is big. Dave is not blue. Dave is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is young. All blue, rough people are quiet. If someone is quiet and not blue then they are young. All blue people are rough. If someone is cold and not blue then they are rough. All blue, big people are kind. If Dave is big and Dave is not cold then Dave is not quiet.
Dave is big.
@0: Dave is big.[(triple1)] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is not blue.[(triple2)] Dave is quiet.[(triple5)] Dave is rough.[(triple6 OR ((triple3 triple2) -> rule4))] Dave is young.[(triple7 OR ((triple5 triple2) -> rule2))]