Anne is cold. Anne is rough. Anne is young. If Anne is blue then Anne is cold. If something is rough and smart then it is cold. If something is big and furry then it is cold. All smart, cold things are not blue. Smart things are not furry. If Anne is young and Anne is not rough then Anne is smart.
Anne is not smart.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)]