kimasplund/integrated-reasoning/hypothesis-eliminationskill versions