Anne is not furry. Bob is blue. If something is big and not green then it is young. All big, green things are not young. If Anne is rough then Anne is quiet. If something is furry and big then it is blue. All rough, blue things are not big. If something is green and not blue then it is quiet.
Anne is not furry.
@0: Anne is not furry.[(triple1)] Bob is blue.[(triple2)]