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