Anne is green. Anne is red. Charlie is big. Erin is blue. Erin is not green. Erin is rough. Fiona is big. If Erin is not nice then Erin is not rough. All nice people are not rough. If someone is red and not nice then they are big.
Anne is not red.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Charlie is big.[(triple3)] Erin is blue.[(triple4)] Erin is not green.[(triple5)] Erin is rough.[(triple6)] Fiona is big.[(triple7)]