Dave is big. Dave is cold. Dave is kind. Dave is rough. Dave is round. Dave is white. Dave is young. All kind things are rough. If something is cold and white then it is round.
Dave is kind.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is kind.[(triple3)] Dave is rough.[(triple4 OR ((triple3) -> rule1))] Dave is round.[(triple5 OR ((triple2 triple6) -> rule2))] Dave is white.[(triple6)] Dave is young.[(triple7)]