Anne is red. Charlie is not blue. Erin is blue. Harry is rough. If Harry is green and Harry is not red then Harry is smart. If someone is red then they are young. If Erin is red and Erin is green then Erin is not young. If Charlie is young and Charlie is smart then Charlie is green. If Harry is smart then Harry is blue. If someone is rough then they are not green.
Charlie is not blue.
@0: Anne is red.[(triple1)] Charlie is not blue.[(triple2)] Erin is blue.[(triple3)] Harry is rough.[(triple4)] @1: Anne is young.[(((triple1) -> rule2))] Harry is not green.[(((triple4) -> rule6))]