Anne is blue. Anne is green. Anne is red. Dave is red. Erin is blue. Fiona is blue. Fiona is nice. If Erin is red and Erin is nice then Erin is big. Nice, rough people are big.
Anne is not big.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Dave is red.[(triple4)] Erin is blue.[(triple5)] Fiona is blue.[(triple6)] Fiona is nice.[(triple7)]