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