Dave is big. Dave is kind. Dave is nice. Dave is red. Dave is rough. Dave is round. Dave is young. Round people are nice. If someone is red then they are young.
Dave is not red.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3 OR ((triple6) -> rule1))] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7 OR ((triple4) -> rule2))]