Bob is not red. Bob is not white. Dave is green. Erin is kind. Erin is red. Fiona is blue. Fiona is white. If Fiona is kind then Fiona is rough.
Fiona is not rough.
@0: Bob is not red.[(triple1)] Bob is not white.[(triple2)] Dave is green.[(triple3)] Erin is kind.[(triple4)] Erin is red.[(triple5)] Fiona is blue.[(triple6)] Fiona is white.[(triple7)]