Charlie is not blue. Charlie is red. Charlie is not rough. Erin is green. Gary is blue. Harry is rough. Harry is white. White people are not blue. All smart people are green. All young, rough people are green. If Erin is red then Erin is rough. Blue, green people are rough. If Harry is young and Harry is smart then Harry is green.
Charlie is not rough.
@0: Charlie is not blue.[(triple1)] Charlie is not rough.[(triple3)] Charlie is red.[(triple2)] Erin is green.[(triple4)] Gary is blue.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7)] @1: Harry is not blue.[(((triple7) -> rule1))]