Charlie is quiet. Charlie is white. Charlie is young. Erin is not cold. Erin is young. Gary is cold. Gary is not smart. If Charlie is cold and Charlie is white then Charlie is smart. If Gary is quiet and Gary is cold then Gary is not round. If Erin is furry then Erin is quiet. If someone is round then they are not cold. If someone is round and not white then they are smart. If Erin is round and Erin is not smart then Erin is young.
Charlie is not smart.
@0: Charlie is quiet.[(triple1)] Charlie is white.[(triple2)] Charlie is young.[(triple3)] Erin is not cold.[(triple4)] Erin is young.[(triple5)] Gary is cold.[(triple6)] Gary is not smart.[(triple7)]