Charlie is blue. Dave is big. Dave is blue. Dave is not green. Dave is young. Erin is big. Erin is green. All red, young things are green. If Charlie is big then Charlie is blue. All big things are young. If Dave is round then Dave is green. If Charlie is green and Charlie is not red then Charlie is quiet. If something is green and not young then it is blue.
Dave is not green.
@0: Charlie is blue.[(triple1)] Dave is big.[(triple2)] Dave is blue.[(triple3)] Dave is not green.[(triple4)] Dave is young.[(triple5 OR ((triple2) -> rule3))] Erin is big.[(triple6)] Erin is green.[(triple7)] @1: Erin is young.[(((triple6) -> rule3))]