Anne is cold. Bob is young. Charlie is red. If Charlie is cold and Charlie is red then Charlie is furry. All furry, red things are green. White things are cold. If Charlie is young and Charlie is red then Charlie is furry. If something is cold and young then it is red. Red, rough things are furry.
Anne is not green.
@0: Anne is cold.[(triple1)] Bob is young.[(triple2)] Charlie is red.[(triple3)]