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