Erin is cold. Erin is furry. Erin is green. Erin is not nice. Gary is not green. Harry is furry. Harry is not nice. All smart people are green. Nice people are not red.
Erin is nice.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is not nice.[(triple4)] Gary is not green.[(triple5)] Harry is furry.[(triple6)] Harry is not nice.[(triple7)]