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