Bob is not nice. Bob is not red. Charlie is blue. Charlie is not furry. Charlie is red. Erin is green. Erin is nice. If Bob is round then Bob is green. All blue, white things are red.
Erin is not red.
@0: Bob is not nice.[(triple1)] Bob is not red.[(triple2)] Charlie is blue.[(triple3)] Charlie is not furry.[(triple4)] Charlie is red.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7)]