Anne is quiet. Dave is rough. Erin is kind. Erin is red. Harry is green. Harry is nice. Harry is rough. If Erin is rough then Erin is quiet. If Anne is red then Anne is quiet. If someone is furry then they are red.
Erin is not quiet.
@0: Anne is quiet.[(triple1)] Dave is rough.[(triple2)] Erin is kind.[(triple3)] Erin is red.[(triple4)] Harry is green.[(triple5)] Harry is nice.[(triple6)] Harry is rough.[(triple7)]