the fact that there exists something such that if it does not hue tilter then it is not a kind of an ironing does not hold.
sent1: something is not a kind of an ironing if it does not hue tilter. sent2: if something is bedless it does not clang. sent3: the fact that something does iron hold if it does not hue tilter. sent4: there is something such that if the fact that it is a kind of a infiniteness is right then it is not calculable.
sent1 -> int1: if the cement does not hue tilter it does not iron.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does not hue tilter then it is not a kind of an ironing does not hold. ; $context$ = sent1: something is not a kind of an ironing if it does not hue tilter. sent2: if something is bedless it does not clang. sent3: the fact that something does iron hold if it does not hue tilter. sent4: there is something such that if the fact that it is a kind of a infiniteness is right then it is not calculable. ; $proof$ = 
sent1 -> int1: if the cement does not hue tilter it does not iron.; int1 -> hypothesis; __DISPROVED__