Anne is rough. Bob is white. If something is red then it is round. If Anne is big then Anne is not red. If Anne is not rough then Anne is not big.
Anne is not rough.
@0: Anne is rough.[(triple1)] Bob is white.[(triple2)]