Anne is rough. Charlie is smart. Fiona is cold. Cold, smart people are white. All red people are white. If Charlie is not blue and Charlie is not red then Charlie is not smart. If someone is kind and white then they are cold. If Anne is rough then Anne is not red. If someone is rough and white then they are not smart.
Charlie is not white.
@0: Anne is rough.[(triple1)] Charlie is smart.[(triple2)] Fiona is cold.[(triple3)] @1: Anne is not red.[(((triple1) -> rule5))]