Anne is big. Anne is blue. Anne is nice. Anne is rough. Dave is not cold. Dave is not kind. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is not kind. Erin is rough. If something is nice and not kind then it is big. If something is nice and not big then it is rough.
Anne is green.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Dave is not cold.[(triple5)] Dave is not kind.[(triple6)] Erin is big.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is not kind.[(triple11)] Erin is rough.[(triple12)]