Charlie is smart. Erin is rough. Harry is young. Smart things are not rough. If Charlie is young and Charlie is not smart then Charlie is not rough. If something is blue and young then it is white. All young things are not white. Round things are white. All rough things are not young. If Charlie is young then Charlie is not white. Rough, young things are kind.
Harry is round.
@0: Charlie is smart.[(triple1)] Erin is rough.[(triple2)] Harry is young.[(triple3)] @1: Charlie is not rough.[(((triple1) -> rule1))] Erin is not young.[(((triple2) -> rule6))] Harry is not white.[(((triple3) -> rule4))]