Dave is big. Dave is cold. Dave is kind. Dave is nice. Dave is rough. Dave is round. Dave is young. All round, cold things are nice. All big, kind things are young. Cold, round things are young.
Dave is not young.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4 OR ((triple6 triple2) -> rule1))] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7 OR ((triple1 triple3) -> rule2) OR ((triple2 triple6) -> rule3))]