Anne is green. Dave is red. If Anne is green and Anne is not big then Anne is cold. If Anne is nice and Anne is round then Anne is red. Nice, green people are not white.
Anne is green.
@0: Anne is green.[(triple1)] Dave is red.[(triple2)]