Anne is not cold. Anne is red. Anne is round. Anne is white. Charlie is green. Charlie is white. Erin is white. Gary is green. Gary is red. Gary is rough. Gary is round. Gary is white. If someone is smart then they are white. If Charlie is green and Charlie is smart then Charlie is white. If Gary is not white then Gary is red. All red, smart people are green. Smart people are green. If someone is red and not round then they are cold. If someone is rough and not green then they are not cold. If someone is cold and not smart then they are rough.
Gary is round.
@0: Anne is not cold.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Charlie is green.[(triple5)] Charlie is white.[(triple6)] Erin is white.[(triple7)] Gary is green.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12)]