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