Bob is cold. Bob is not green. Bob is kind. Bob is nice. Bob is not quiet. Bob is not round. Bob is smart. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is not quiet. Charlie is not round. Charlie is not smart. If Charlie is not quiet and Charlie is not cold then Charlie is green.
Charlie is not smart.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not green.[(triple2)] Bob is not quiet.[(triple5)] Bob is not round.[(triple6)] Bob is smart.[(triple7)] Charlie is cold.[(triple8)] Charlie is green.[(triple9)] Charlie is kind.[(triple10)] Charlie is nice.[(triple11)] Charlie is not quiet.[(triple12)] Charlie is not round.[(triple13)] Charlie is not smart.[(triple14)]