Anne is smart. If something is round and blue then it is not rough. If Anne is red and Anne is not white then Anne is round. If something is white and not round then it is not kind. If something is white and not round then it is smart. If something is round and not blue then it is not smart. If something is white then it is not smart. All red, blue things are smart. If Anne is red and Anne is not smart then Anne is not rough.
Anne is smart.
@0: Anne is smart.[(triple1)]