Anne is rough. Charlie is blue. Fiona is not cold. If Anne is white then Anne is blue. Red people are blue. If someone is cold and nice then they are rough. If someone is white then they are cold. Round people are cold. White, red people are not round. Blue people are not white. If Fiona is not round then Fiona is rough.
Fiona is not blue.
@0: Anne is rough.[(triple1)] Charlie is blue.[(triple2)] Fiona is not cold.[(triple3)] @1: Charlie is not white.[(((triple2) -> rule7))]