Erin is big. Erin is blue. Erin is cold. Erin is not green. Erin is quiet. Erin is smart. Erin is white. If Erin is smart and Erin is not big then Erin is cold. If Erin is not blue then Erin is white. All green people are cold.
Erin is not cold.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is not green.[(triple4)] Erin is quiet.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)]