Bob is big. Bob is kind. Bob is nice. Erin is big. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is white. Erin is young. If Erin is not white then Erin is not rough.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Erin is big.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)]