Bob is kind. Charlie is nice. Charlie is quiet. If Bob is smart and Bob is white then Bob is blue.
Charlie is not quiet.
@0: Bob is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)]