the fact that the radiance either is not a proprioception or is not mortal or both does not hold.
sent1: if something is not a phillipsite and does scald materialization then it is not piezoelectric. sent2: there exists something such that it shops. sent3: something is mortal if it is a shop. sent4: something either is not a kind of a proprioception or is insensible or both if that it is not piezoelectric hold. sent5: the uplift is not a ball-buster. sent6: if there exists something such that it is an inattention the radiance does not scald materialization but it is a phillipsite. sent7: if the uplift is not a ball-buster then the soundtrack is an inattention that is endergonic. sent8: the radiance is a shop. sent9: the inulin is both a shop and a orthoscope. sent10: if something is not a shop that it is not a proprioception or it is not mortal or both is not right. sent11: the uplift is piezoelectric and it is insensible. sent12: the soundtrack is not a phillipsite and scalds materialization. sent13: the fact that the radiance is not piezoelectric hold if it does not scald materialization and it is a phillipsite. sent14: if the uplift is insensible then the soundtrack is not insensible. sent15: the soundtrack is insensible if something is a shop and is a kind of a proprioception.
void -> assump1: Let's assume that the radiance is a kind of a proprioception.; sent8 & assump1 -> int1: the radiance is a shop and it is a proprioception.; int1 -> int2: something is a shop and a proprioception.; int2 & sent15 -> int3: the soundtrack is insensible.; sent11 -> int4: the uplift is insensible.; sent14 & int4 -> int5: the soundtrack is sensible.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the radiance is not a proprioception.; int7 -> hypothesis;
the fact that the radiance is either not a proprioception or not mortal or both is wrong.
sent10 -> int8: the fact that the radiance is not a proprioception and/or is not mortal does not hold if it is not a shop.; sent1 -> int9: that the soundtrack is non-piezoelectric is true if it is not a kind of a phillipsite and scalds materialization.; int9 & sent12 -> int10: the soundtrack is not piezoelectric.;
$hypothesis$ = the fact that the radiance either is not a proprioception or is not mortal or both does not hold. ; $context$ = sent1: if something is not a phillipsite and does scald materialization then it is not piezoelectric. sent2: there exists something such that it shops. sent3: something is mortal if it is a shop. sent4: something either is not a kind of a proprioception or is insensible or both if that it is not piezoelectric hold. sent5: the uplift is not a ball-buster. sent6: if there exists something such that it is an inattention the radiance does not scald materialization but it is a phillipsite. sent7: if the uplift is not a ball-buster then the soundtrack is an inattention that is endergonic. sent8: the radiance is a shop. sent9: the inulin is both a shop and a orthoscope. sent10: if something is not a shop that it is not a proprioception or it is not mortal or both is not right. sent11: the uplift is piezoelectric and it is insensible. sent12: the soundtrack is not a phillipsite and scalds materialization. sent13: the fact that the radiance is not piezoelectric hold if it does not scald materialization and it is a phillipsite. sent14: if the uplift is insensible then the soundtrack is not insensible. sent15: the soundtrack is insensible if something is a shop and is a kind of a proprioception. ; $proof$ = 
void -> assump1: Let's assume that the radiance is a kind of a proprioception.; sent8 & assump1 -> int1: the radiance is a shop and it is a proprioception.; int1 -> int2: something is a shop and a proprioception.; int2 & sent15 -> int3: the soundtrack is insensible.; sent11 -> int4: the uplift is insensible.; sent14 & int4 -> int5: the soundtrack is sensible.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the radiance is not a proprioception.; int7 -> hypothesis; __DISPROVED__