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.
Harry is not green.
@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)]