Charlie is quiet. Charlie is rough. Harry is blue. Harry is green. Harry is quiet. Harry is rough. Harry is white. If Charlie is young then Charlie is green. White, nice people are rough. All young people are blue. Nice, young people are blue. Rough, green people are nice. All young, blue people are quiet.
Harry is quiet.
@0: Charlie is quiet.[(triple1)] Charlie is rough.[(triple2)] Harry is blue.[(triple3)] Harry is green.[(triple4)] Harry is quiet.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7)] @1: Harry is nice.[(((triple6 triple4) -> rule5))]