Anne is green. Anne is red. Dave is blue. Dave is white. Erin is red. Erin is white. Harry is red. If something is big and green then it is blue. Big, green things are red. If something is green and big then it is red.
Dave is blue.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Dave is blue.[(triple3)] Dave is white.[(triple4)] Erin is red.[(triple5)] Erin is white.[(triple6)] Harry is red.[(triple7)]