Erin is not blue. Erin is round. Erin is not smart. All big people are cold. If Erin is blue then Erin is green.
Erin is rough.
@0: Erin is not blue.[(triple1)] Erin is not smart.[(triple3)] Erin is round.[(triple2)]