Erin is rough. Erin is round. Erin is smart. If Erin is young then Erin is blue. All rough, cold things are smart. If something is young then it is rough. All young, quiet things are cold. Smart, cold things are quiet. If Erin is young and Erin is blue then Erin is round. Round, blue things are smart. If Erin is quiet then Erin is round.
Erin is not cold.
@0: Erin is rough.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)]