Bob is blue. Bob is kind. Bob is not red. Charlie is not big. Charlie is blue. Charlie is not kind. Charlie is nice. Charlie is red. Charlie is not white. Charlie is young. Fiona is kind. Fiona is white. If Fiona is nice then Fiona is not white. If someone is big then they are not blue.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is not red.[(triple3)] Charlie is blue.[(triple5)] Charlie is nice.[(triple7)] Charlie is not big.[(triple4)] Charlie is not kind.[(triple6)] Charlie is not white.[(triple9)] Charlie is red.[(triple8)] Charlie is young.[(triple10)] Fiona is kind.[(triple11)] Fiona is white.[(triple12)]