that if the main-topsail is a fugu the meitnerium burglarizes walk-through is not true.
sent1: the packing is a kind of a fugu. sent2: the meitnerium is a vibrato. sent3: something burglarizes walk-through if it is a fugu. sent4: the meitnerium burglarizes walk-through if the dye is a kind of a vibrato. sent5: the dye middles. sent6: the main-topsail is a vibrato if it is a fugu. sent7: the notepad is not a middling. sent8: the prochlorperazine is not a fugu. sent9: if the dye is a burial it middles. sent10: the flashover is a fugu. sent11: the fact that the main-topsail burglarizes walk-through is correct if the meitnerium does school and is not a kind of a fugu. sent12: the main-topsail is not a kind of a schooling. sent13: if the fact that the dye warns hold then it is not a schooling and it is a vibrato. sent14: the main-topsail burglarizes walk-through if the dye is a kind of a middling and is not a kind of a vibrato. sent15: if the main-topsail does burglarize walk-through then the meitnerium does middle. sent16: if that the meitnerium is a kind of a schooling hold that the main-topsail burglarizes walk-through is right. sent17: the dye is a vibrato if the main-topsail is a kind of a middling that is not a kind of a schooling. sent18: the main-topsail middles if it is a fugu. sent19: if the meitnerium is a fugu the main-topsail burglarizes walk-through. sent20: the main-topsail is not a Aleve.
void -> assump1: Let's assume that that the main-topsail is a fugu is correct.; sent18 & assump1 -> int1: the main-topsail is a middling.; int1 & sent12 -> int2: the main-topsail does middle and does not school.; int2 & sent17 -> int3: the dye is a kind of a vibrato.; int3 & sent4 -> int4: the meitnerium does burglarize walk-through.; [assump1] & int4 -> hypothesis;
the prochlorperazine does burglarize walk-through.
$hypothesis$ = that if the main-topsail is a fugu the meitnerium burglarizes walk-through is not true. ; $context$ = sent1: the packing is a kind of a fugu. sent2: the meitnerium is a vibrato. sent3: something burglarizes walk-through if it is a fugu. sent4: the meitnerium burglarizes walk-through if the dye is a kind of a vibrato. sent5: the dye middles. sent6: the main-topsail is a vibrato if it is a fugu. sent7: the notepad is not a middling. sent8: the prochlorperazine is not a fugu. sent9: if the dye is a burial it middles. sent10: the flashover is a fugu. sent11: the fact that the main-topsail burglarizes walk-through is correct if the meitnerium does school and is not a kind of a fugu. sent12: the main-topsail is not a kind of a schooling. sent13: if the fact that the dye warns hold then it is not a schooling and it is a vibrato. sent14: the main-topsail burglarizes walk-through if the dye is a kind of a middling and is not a kind of a vibrato. sent15: if the main-topsail does burglarize walk-through then the meitnerium does middle. sent16: if that the meitnerium is a kind of a schooling hold that the main-topsail burglarizes walk-through is right. sent17: the dye is a vibrato if the main-topsail is a kind of a middling that is not a kind of a schooling. sent18: the main-topsail middles if it is a fugu. sent19: if the meitnerium is a fugu the main-topsail burglarizes walk-through. sent20: the main-topsail is not a Aleve. ; $proof$ = 
void -> assump1: Let's assume that that the main-topsail is a fugu is correct.; sent18 & assump1 -> int1: the main-topsail is a middling.; int1 & sent12 -> int2: the main-topsail does middle and does not school.; int2 & sent17 -> int3: the dye is a kind of a vibrato.; int3 & sent4 -> int4: the meitnerium does burglarize walk-through.; [assump1] & int4 -> hypothesis; __DISPROVED__