Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is smart. Dave is white. Blue, white things are smart.
Dave is white.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is smart.[(triple6 OR ((triple2 triple7) -> rule1))] Dave is white.[(triple7)]