Bob is nice. Bob is round. Erin is cold. Erin is green. Erin is not nice. Erin is not quiet. Erin is not rough. Erin is not round. Erin is smart. Harry is green. Harry is quiet. Harry is not smart. Nice, cold people are not quiet.
Bob is smart.
@0: Bob is nice.[(triple1)] Bob is round.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is not nice.[(triple5)] Erin is not quiet.[(triple6)] Erin is not rough.[(triple7)] Erin is not round.[(triple8)] Erin is smart.[(triple9)] Harry is green.[(triple10)] Harry is not smart.[(triple12)] Harry is quiet.[(triple11)]