Dave is big. Dave is blue. Dave is green. Dave is quiet. Dave is red. Dave is not smart. Dave is young. If someone is big then they are blue. If Dave is green and Dave is not big then Dave is not quiet. If someone is green and not smart then they are young.
Dave is not smart.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple1) -> rule1))] Dave is green.[(triple3)] Dave is not smart.[(triple6)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is young.[(triple7 OR ((triple3 triple6) -> rule3))]