Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is round. Dave is smart. Dave is white. If someone is big then they are nice.
Dave is round.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4 OR ((triple1) -> rule1))] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)]