Anne is furry. Anne is green. Charlie is round. Dave is cold. Dave is green. Dave is round. Harry is red. If someone is cold and furry then they are green. If someone is red and round then they are cold. Cold, rough people are young.
Dave is not green.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Charlie is round.[(triple3)] Dave is cold.[(triple4)] Dave is green.[(triple5)] Dave is round.[(triple6)] Harry is red.[(triple7)]