Bob is red. Bob is rough. Bob is white. Dave is blue. Dave is red. Erin is nice. Erin is red. If something is nice and smart then it is red.
Erin is not blue.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Bob is white.[(triple3)] Dave is blue.[(triple4)] Dave is red.[(triple5)] Erin is nice.[(triple6)] Erin is red.[(triple7)]