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