Bob is blue. Charlie is not blue. All kind, red people are not quiet. If someone is red then they are blue. If someone is round then they are kind. If Bob is green then Bob is round. If Bob is green and Bob is nice then Bob is not round. All red, quiet people are round. If Charlie is green then Charlie is red. If Charlie is not nice and Charlie is not round then Charlie is blue.
Bob is not kind.
@0: Bob is blue.[(triple1)] Charlie is not blue.[(triple2)]