Anne is cold. Anne is not rough. Anne is smart. If someone is smart and rough then they are not young. All cold, smart people are not young. All young people are not blue. All smart, nice people are not cold. All rough people are cold. Blue people are rough. If Anne is young then Anne is white. If Anne is white then Anne is cold.
Anne is not white.
@0: Anne is cold.[(triple1)] Anne is not rough.[(triple2)] Anne is smart.[(triple3)] @1: Anne is not young.[(((triple1 triple3) -> rule2))]