Anne is not green. Bob is not young. Fiona is furry. If something is big and not white then it is green. All big things are not furry. All blue things are cold. If something is young then it is cold. If Anne is blue then Anne is green. If Bob is not big and Bob is not green then Bob is blue. If Bob is not furry then Bob is cold. If something is green and not furry then it is blue.
Bob is not young.
@0: Anne is not green.[(triple1)] Bob is not young.[(triple2)] Fiona is furry.[(triple3)]