Bob is rough. Erin is nice. Erin is rough. Erin is white. Harry is nice. Harry is red. Harry is not smart. Quiet things are rough. If something is rough and red then it is nice. If Harry is quiet and Harry is not red then Harry is green.
Erin is not nice.
@0: Bob is rough.[(triple1)] Erin is nice.[(triple2)] Erin is rough.[(triple3)] Erin is white.[(triple4)] Harry is nice.[(triple5)] Harry is not smart.[(triple7)] Harry is red.[(triple6)]