Anne is blue. Anne is rough. Dave is rough. Erin is rough. Erin is not white. Fiona is not blue. Fiona is cold. If someone is cold and blue then they are rough. All smart, rough people are blue.
Erin is white.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Dave is rough.[(triple3)] Erin is not white.[(triple5)] Erin is rough.[(triple4)] Fiona is cold.[(triple7)] Fiona is not blue.[(triple6)]