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