Bob is smart. Erin is green. Erin is rough. All round things are green. Rough, round things are cold. All round things are quiet. Round things are nice. Smart, quiet things are rough. All nice things are smart.
Bob is not rough.
@0: Bob is smart.[(triple1)] Erin is green.[(triple2)] Erin is rough.[(triple3)]