Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is rough. Dave is white. Dave is young. White, big people are green. All green, young people are rough.
Dave is not cold.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3 OR ((triple6 triple1) -> rule1))] Dave is kind.[(triple4)] Dave is rough.[(triple5 OR ((triple3 triple7) -> rule2) OR ((((triple6 triple1) -> rule1) triple7) -> rule2))] Dave is white.[(triple6)] Dave is young.[(triple7)]