Erin is not nice. Harry is green. Harry is white. If Erin is red and Erin is not smart then Erin is green. If Erin is smart and Erin is not green then Erin is quiet.
Erin is not quiet.
@0: Erin is not nice.[(triple1)] Harry is green.[(triple2)] Harry is white.[(triple3)]