Charlie is blue. Charlie is not green. Charlie is quiet. Charlie is not red. Charlie is young. Dave is not blue. Dave is green. Dave is quiet. Dave is red. Dave is young. If Charlie is quiet and Charlie is not green then Charlie is young. Green, young things are red. Round things are young.
Dave is not blue.
@0: Charlie is blue.[(triple1)] Charlie is not green.[(triple2)] Charlie is not red.[(triple4)] Charlie is quiet.[(triple3)] Charlie is young.[(triple5 OR ((triple3 triple2) -> rule1))] Dave is green.[(triple7)] Dave is not blue.[(triple6)] Dave is quiet.[(triple8)] Dave is red.[(triple9 OR ((triple7 triple10) -> rule2))] Dave is young.[(triple10)]