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