Erin is big. Erin is cold. Erin is furry. Erin is not green. Erin is red. Erin is rough. Erin is smart. If someone is green and smart then they are cold. If someone is green and furry then they are rough.
Erin is not red.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is not green.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7)]