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