Dave is big. Dave is blue. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Nice, rough things are big. If Dave is nice then Dave is smart. All quiet, white things are smart.
Dave is not big.
@0: Dave is big.[(triple1 OR ((triple3 triple5) -> rule1))] Dave is blue.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6 OR ((triple3) -> rule2) OR ((triple4 triple7) -> rule3))] Dave is white.[(triple7)]