Anne is green. Anne is young. Charlie is blue. Charlie is round. Erin is green. Harry is rough. Harry is round. If Erin is rough and Erin is green then Erin is round. If someone is nice and blue then they are smart. All round people are green. Nice, blue people are round. All round, young people are smart. If Erin is blue then Erin is green.
Harry is not smart.
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Charlie is blue.[(triple3)] Charlie is round.[(triple4)] Erin is green.[(triple5)] Harry is rough.[(triple6)] Harry is round.[(triple7)] @1: Charlie is green.[(((triple4) -> rule3))] Harry is green.[(((triple7) -> rule3))]