Dave is big. Dave is blue. Dave is cold. Dave is not green. Dave is smart. Dave is white. Dave is young. All blue, young things are smart. If something is green and not young then it is not smart. If something is white then it is big. If something is smart and not blue then it is white. If something is young and not blue then it is not cold. If Dave is not young then Dave is big.
Dave is not big.
@0: Dave is big.[(triple1 OR ((triple6) -> rule3))] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is not green.[(triple4)] Dave is smart.[(triple5 OR ((triple2 triple7) -> rule1))] Dave is white.[(triple6)] Dave is young.[(triple7)]