Erin is not big. Erin is not cold. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is round. If Erin is cold and Erin is red then Erin is big.
Erin is not rough.
@0: Erin is nice.[(triple3)] Erin is not big.[(triple1)] Erin is not cold.[(triple2)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)]