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