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