Charlie is green. Charlie is nice. Charlie is smart. Harry is big. Harry is green. Harry is white. Harry is young. All young, blue things are big. Young things are smart.
Harry is blue.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is smart.[(triple3)] Harry is big.[(triple4)] Harry is green.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Harry is smart.[(((triple7) -> rule2))]