Anne is red. If Anne is nice and Anne is red then Anne is quiet. Blue, smart things are not quiet. If something is round then it is red. All smart, blue things are furry. Quiet, red things are nice. Smart, red things are nice. Round, red things are not nice. If something is nice then it is not blue.
Anne is not quiet.
@0: Anne is red.[(triple1)]