Anne is nice. Anne is rough. Bob is kind. Bob is not white. Bob is not young. Erin is not big. Erin is white. Erin is young. Fiona is rough. Fiona is white. All big people are not nice. If someone is nice and not white then they are young. If Erin is not nice then Erin is not rough.
Anne is big.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Bob is kind.[(triple3)] Bob is not white.[(triple4)] Bob is not young.[(triple5)] Erin is not big.[(triple6)] Erin is white.[(triple7)] Erin is young.[(triple8)] Fiona is rough.[(triple9)] Fiona is white.[(triple10)]