Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is round. All cold people are big.
Dave is not nice.
@0: Dave is big.[(triple1 OR ((triple3) -> rule1))] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)]