the sonogram is not a miniaturist.
sent1: the sugarloaf is not bellyless. sent2: the ration builds ration if that it is not cubital and braids Midgard is false. sent3: something is a appetizingness if that it does not braid Midgard and it builds ration is not right. sent4: if something builds ration the fact that it is not a mode and it does not braid incidental is not true. sent5: if the sonogram does braid incidental the ration is a kind of a miniaturist. sent6: if something is not bellyless that it does citify Transcaucasia and it is paramagnetic is not right. sent7: that the bevel is not a stretcher-bearer but it is a miniaturist is not right if the poniard is a appetizingness. sent8: if the ration is a stretcher-bearer then that the bevel is a appetizingness is right. sent9: that the fact that something does not braid Midgard but it does build ration is incorrect if it is not cubital is true. sent10: if the bevel is a appetizingness then the sonogram is a kind of a miniaturist. sent11: if the fact that the puttyroot is not a mode and does build taproot is not right then it is bracteate. sent12: that the ration is not cubital and braids Midgard is wrong. sent13: the sonogram is both not inadvisable and not a skull. sent14: if there exists something such that that the fact that it citifies Transcaucasia and it is paramagnetic hold is not true the poniard is not cubital. sent15: if something is not a stretcher-bearer then it is not a kind of a mode and does not braid incidental. sent16: the ration does not braid incidental if it is not a stretcher-bearer.
sent15 -> int1: the ration is not a kind of a mode and does not braid incidental if the fact that it is not a kind of a stretcher-bearer is correct.; void -> assump1: Let's assume that the ration is not a kind of a stretcher-bearer.; int1 & assump1 -> int2: the ration is not a kind of a mode and it does not braid incidental.; sent4 -> int3: if the ration does build ration that it is not a mode and it does not braid incidental is false.; sent2 & sent12 -> int4: the ration builds ration.; int3 & int4 -> int5: that the ration is not a mode and does not braid incidental is incorrect.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the ration is a kind of a stretcher-bearer.; int7 & sent8 -> int8: the bevel is a appetizingness.; int8 & sent10 -> hypothesis;
the sonogram is not a kind of a miniaturist.
sent3 -> int9: the poniard is a appetizingness if the fact that it does not braid Midgard and builds ration does not hold.; sent9 -> int10: the fact that the poniard does not braid Midgard but it does build ration is incorrect if it is not cubital.; sent6 -> int11: the fact that that the sugarloaf citifies Transcaucasia and is paramagnetic is right does not hold if it is not bellyless.; int11 & sent1 -> int12: the fact that the sugarloaf does citify Transcaucasia and is paramagnetic is incorrect.; int12 -> int13: there exists something such that the fact that it does citify Transcaucasia and it is paramagnetic is incorrect.; int13 & sent14 -> int14: the poniard is not cubital.; int10 & int14 -> int15: that the poniard does not braid Midgard but it builds ration is wrong.; int9 & int15 -> int16: the poniard is a kind of a appetizingness.; sent7 & int16 -> int17: the fact that the bevel is not a stretcher-bearer but it is a miniaturist is wrong.; int17 -> int18: there exists something such that the fact that it is not a stretcher-bearer and is a kind of a miniaturist does not hold.;
$hypothesis$ = the sonogram is not a miniaturist. ; $context$ = sent1: the sugarloaf is not bellyless. sent2: the ration builds ration if that it is not cubital and braids Midgard is false. sent3: something is a appetizingness if that it does not braid Midgard and it builds ration is not right. sent4: if something builds ration the fact that it is not a mode and it does not braid incidental is not true. sent5: if the sonogram does braid incidental the ration is a kind of a miniaturist. sent6: if something is not bellyless that it does citify Transcaucasia and it is paramagnetic is not right. sent7: that the bevel is not a stretcher-bearer but it is a miniaturist is not right if the poniard is a appetizingness. sent8: if the ration is a stretcher-bearer then that the bevel is a appetizingness is right. sent9: that the fact that something does not braid Midgard but it does build ration is incorrect if it is not cubital is true. sent10: if the bevel is a appetizingness then the sonogram is a kind of a miniaturist. sent11: if the fact that the puttyroot is not a mode and does build taproot is not right then it is bracteate. sent12: that the ration is not cubital and braids Midgard is wrong. sent13: the sonogram is both not inadvisable and not a skull. sent14: if there exists something such that that the fact that it citifies Transcaucasia and it is paramagnetic hold is not true the poniard is not cubital. sent15: if something is not a stretcher-bearer then it is not a kind of a mode and does not braid incidental. sent16: the ration does not braid incidental if it is not a stretcher-bearer. ; $proof$ = 
sent15 -> int1: the ration is not a kind of a mode and does not braid incidental if the fact that it is not a kind of a stretcher-bearer is correct.; void -> assump1: Let's assume that the ration is not a kind of a stretcher-bearer.; int1 & assump1 -> int2: the ration is not a kind of a mode and it does not braid incidental.; sent4 -> int3: if the ration does build ration that it is not a mode and it does not braid incidental is false.; sent2 & sent12 -> int4: the ration builds ration.; int3 & int4 -> int5: that the ration is not a mode and does not braid incidental is incorrect.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the ration is a kind of a stretcher-bearer.; int7 & sent8 -> int8: the bevel is a appetizingness.; int8 & sent10 -> hypothesis; __DISPROVED__