Charlie is furry. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is not young. Harry is not kind. Harry is nice. Harry is rough. Harry is not round. Harry is smart. Harry is young. If Harry is smart and Harry is not furry then Harry is young. If Charlie is kind and Charlie is not nice then Charlie is young.
Charlie is nice.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is not young.[(triple6)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5)] Harry is nice.[(triple8)] Harry is not kind.[(triple7)] Harry is not round.[(triple10)] Harry is rough.[(triple9)] Harry is smart.[(triple11)] Harry is young.[(triple12)]