Anne is not cold. Anne is green. Anne is quiet. Anne is rough. Anne is young. Charlie is not cold. Charlie is quiet. Charlie is smart. Charlie is young. Gary is cold. Gary is nice. Gary is not smart. Gary is not young. Harry is cold. Harry is green. Harry is rough. If Anne is quiet and Anne is not nice then Anne is green. If Charlie is quiet and Charlie is not rough then Charlie is not young. If Charlie is not rough then Charlie is quiet. All smart, rough people are green. If Charlie is not rough then Charlie is not cold. Rough, nice people are cold.
Gary is not cold.
@0: Anne is green.[(triple2)] Anne is not cold.[(triple1)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Charlie is not cold.[(triple6)] Charlie is quiet.[(triple7)] Charlie is smart.[(triple8)] Charlie is young.[(triple9)] Gary is cold.[(triple10)] Gary is nice.[(triple11)] Gary is not smart.[(triple12)] Gary is not young.[(triple13)] Harry is cold.[(triple14)] Harry is green.[(triple15)] Harry is rough.[(triple16)]