Bob is big. Bob is nice. Bob is round. Bob is young. Charlie is big. Charlie is kind. Charlie is nice. Charlie is not round. Charlie is smart. Charlie is young. Dave is quiet. Dave is smart. Harry is nice. Harry is not quiet. Harry is smart. Harry is not young. Round, quiet people are kind. If Bob is kind and Bob is not nice then Bob is not quiet.
Harry is quiet.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Bob is young.[(triple4)] Charlie is big.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is not round.[(triple8)] Charlie is smart.[(triple9)] Charlie is young.[(triple10)] Dave is quiet.[(triple11)] Dave is smart.[(triple12)] Harry is nice.[(triple13)] Harry is not quiet.[(triple14)] Harry is not young.[(triple16)] Harry is smart.[(triple15)]