Erin is kind. Erin is nice. Erin is not quiet. Erin is red. Erin is not rough. Erin is smart. Erin is young. If something is quiet then it is red.
Erin is not smart.
@0: Erin is kind.[(triple1)] Erin is nice.[(triple2)] Erin is not quiet.[(triple3)] Erin is not rough.[(triple5)] Erin is red.[(triple4)] Erin is smart.[(triple6)] Erin is young.[(triple7)]