the Ni-resist is diabatic.
sent1: if the beebalm is not a melanoblast the Michigander is regimental but it is not a kind of a functionalism. sent2: the Ni-resist is diabatic if the rangpur is a functionalism. sent3: the Ni-resist is diabatic if the rangpur spectates Jinghpo. sent4: if the Texan does not spectate coordinated then the beebalm is not a melanoblast. sent5: if the fact that the bregma does not thrombose redbone but it is Ismaili does not hold then the costume does not wean hawala. sent6: if the Michigander is not a functionalism the rangpur spectates Jinghpo and/or it is a kind of a functionalism. sent7: if the costume does not wean hawala the Texan does not spectate coordinated. sent8: there exists something such that it does thrombose Bryan. sent9: if something does thrombose Bryan then the fact that the bregma does not thrombose redbone but it is a Ismaili is not correct.
sent8 & sent9 -> int1: the fact that the bregma does not thrombose redbone but it is Ismaili is not correct.; sent5 & int1 -> int2: the costume does not wean hawala.; sent7 & int2 -> int3: the Texan does not spectate coordinated.; sent4 & int3 -> int4: the beebalm is not a melanoblast.; sent1 & int4 -> int5: the Michigander is regimental but it is not a functionalism.; int5 -> int6: the Michigander is not a functionalism.; sent6 & int6 -> int7: the rangpur does spectate Jinghpo and/or is a functionalism.; int7 & sent3 & sent2 -> hypothesis;
$hypothesis$ = the Ni-resist is diabatic. ; $context$ = sent1: if the beebalm is not a melanoblast the Michigander is regimental but it is not a kind of a functionalism. sent2: the Ni-resist is diabatic if the rangpur is a functionalism. sent3: the Ni-resist is diabatic if the rangpur spectates Jinghpo. sent4: if the Texan does not spectate coordinated then the beebalm is not a melanoblast. sent5: if the fact that the bregma does not thrombose redbone but it is Ismaili does not hold then the costume does not wean hawala. sent6: if the Michigander is not a functionalism the rangpur spectates Jinghpo and/or it is a kind of a functionalism. sent7: if the costume does not wean hawala the Texan does not spectate coordinated. sent8: there exists something such that it does thrombose Bryan. sent9: if something does thrombose Bryan then the fact that the bregma does not thrombose redbone but it is a Ismaili is not correct. ; $proof$ = 
sent8 & sent9 -> int1: the fact that the bregma does not thrombose redbone but it is Ismaili is not correct.; sent5 & int1 -> int2: the costume does not wean hawala.; sent7 & int2 -> int3: the Texan does not spectate coordinated.; sent4 & int3 -> int4: the beebalm is not a melanoblast.; sent1 & int4 -> int5: the Michigander is regimental but it is not a functionalism.; int5 -> int6: the Michigander is not a functionalism.; sent6 & int6 -> int7: the rangpur does spectate Jinghpo and/or is a functionalism.; int7 & sent3 & sent2 -> hypothesis; __PROVED__