Bob is not big. Charlie is big. Charlie is kind. Charlie is not red. Charlie is rough. Charlie is young. Harry is kind. If something is rough and not young then it is nice. If Charlie is smart and Charlie is not young then Charlie is red. If Harry is big then Harry is not rough.
Harry is young.
@0: Bob is not big.[(triple1)] Charlie is big.[(triple2)] Charlie is kind.[(triple3)] Charlie is not red.[(triple4)] Charlie is rough.[(triple5)] Charlie is young.[(triple6)] Harry is kind.[(triple7)]