Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. Harry is big. Harry is rough. Harry is round. All smart, round things are young.
Harry is not young.
@0: Charlie is red.[(triple1)] Charlie is rough.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4)] Harry is big.[(triple5)] Harry is rough.[(triple6)] Harry is round.[(triple7)]