the capillarity is not diamagnetic.
sent1: if something is retractile the fact that it is a kind of non-nonspherical thing that is not sarcosomal does not hold. sent2: if the fact that something is not prudent and it is not a kind of an audio does not hold then it is diamagnetic. sent3: if the interferometer is nonextant then the fact that it is prudent hold. sent4: the fact that something is not a pointed but it is phreatic is not true if it is not belemnitic. sent5: that the capillarity is not a Dimetapp but it is incommodious is not correct. sent6: if something does not boot Uhland the fact that it is a kind of non-side thing that does boot telpherage is false. sent7: that something is non-prudent thing that is not an audio is incorrect if it does not permit interferometer. sent8: the fact that the capillarity does not stigmatize supper and is an audio does not hold. sent9: that something is not a kind of a pavement and does not boot telpherage is wrong if it is not lucifugous. sent10: if something does permit interferometer then the fact that it is not non-gymnosophical and it is not incommodious is incorrect. sent11: the capillarity is both gymnosophical and not incommodious.
sent10 -> int1: the fact that the capillarity is gymnosophical but it is not incommodious does not hold if that it does permit interferometer hold.; void -> assump1: Let's assume that the capillarity does permit interferometer.; int1 & assump1 -> int2: the fact that the capillarity is gymnosophical but it is not incommodious does not hold.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the capillarity does not permit interferometer.; sent7 -> int5: if the capillarity does not permit interferometer that it is non-prudent thing that is not a kind of an audio is not correct.; int4 & int5 -> int6: that the fact that the capillarity is not prudent and it is not an audio is true is incorrect.; sent2 -> int7: if that the capillarity is imprudent thing that is not an audio does not hold then it is not non-diamagnetic.; int6 & int7 -> hypothesis;
$hypothesis$ = the capillarity is not diamagnetic. ; $context$ = sent1: if something is retractile the fact that it is a kind of non-nonspherical thing that is not sarcosomal does not hold. sent2: if the fact that something is not prudent and it is not a kind of an audio does not hold then it is diamagnetic. sent3: if the interferometer is nonextant then the fact that it is prudent hold. sent4: the fact that something is not a pointed but it is phreatic is not true if it is not belemnitic. sent5: that the capillarity is not a Dimetapp but it is incommodious is not correct. sent6: if something does not boot Uhland the fact that it is a kind of non-side thing that does boot telpherage is false. sent7: that something is non-prudent thing that is not an audio is incorrect if it does not permit interferometer. sent8: the fact that the capillarity does not stigmatize supper and is an audio does not hold. sent9: that something is not a kind of a pavement and does not boot telpherage is wrong if it is not lucifugous. sent10: if something does permit interferometer then the fact that it is not non-gymnosophical and it is not incommodious is incorrect. sent11: the capillarity is both gymnosophical and not incommodious. ; $proof$ = 
sent10 -> int1: the fact that the capillarity is gymnosophical but it is not incommodious does not hold if that it does permit interferometer hold.; void -> assump1: Let's assume that the capillarity does permit interferometer.; int1 & assump1 -> int2: the fact that the capillarity is gymnosophical but it is not incommodious does not hold.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the capillarity does not permit interferometer.; sent7 -> int5: if the capillarity does not permit interferometer that it is non-prudent thing that is not a kind of an audio is not correct.; int4 & int5 -> int6: that the fact that the capillarity is not prudent and it is not an audio is true is incorrect.; sent2 -> int7: if that the capillarity is imprudent thing that is not an audio does not hold then it is not non-diamagnetic.; int6 & int7 -> hypothesis; __DISPROVED__