Bob is cold. Bob is not nice. Bob is quiet. Bob is rough. Bob is not white. Charlie is green. Charlie is not kind. Charlie is not nice. Charlie is rough. Charlie is white. Erin is nice. Erin is rough. If Erin is quiet then Erin is not white.
Bob is not nice.
@0: Bob is cold.[(triple1)] Bob is not nice.[(triple2)] Bob is not white.[(triple5)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Charlie is green.[(triple6)] Charlie is not kind.[(triple7)] Charlie is not nice.[(triple8)] Charlie is rough.[(triple9)] Charlie is white.[(triple10)] Erin is nice.[(triple11)] Erin is rough.[(triple12)]