that the fact that the gunflint weeds yip and is a tonic is incorrect if the slump is not an armored does not hold.
sent1: the fact that that the gunflint is a tonic and a sash is not wrong is false if the frontiersman weeds yip. sent2: if that the slump is not an armored hold the gunflint weeds yip and is tonic. sent3: there is something such that it armors and it is a sash. sent4: there is something such that it is nontranslational and it does corner gaiter. sent5: the gaiter does not armor. sent6: something is a sash. sent7: something is a kind of a fret. sent8: the fact that the gunflint weeds yip and it is a tonic does not hold if the frontiersman does not weeds yip. sent9: if something that weeds yip is a kind of a tonic then the frontiersman armors. sent10: if something does weed yip then it is an armored. sent11: the slump does armor if something does weed yip and it is a sash. sent12: the frontiersman is a sash. sent13: there exists something such that it is a kind of a leach. sent14: that the fact that the gunflint does weed yip and it is a kind of a tonic is wrong hold if the slump does armor. sent15: the slump does not weed yip. sent16: something is a kind of a tonic that weeds yip.
void -> assump2: Let's assume that the frontiersman does weed yip.; assump2 & sent12 -> int1: the frontiersman weeds yip and is a sash.; int1 -> int2: something does weed yip and it is a kind of a sash.; int2 & sent11 -> int3: the slump does armor.; void -> assump1: Let's assume that the slump is not an armored.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the frontiersman does not weed yip.; sent8 & int5 -> int6: that the gunflint weeds yip and is not non-tonic does not hold.; [assump1] & int6 -> hypothesis;
the synchroflash is an armored.
sent10 -> int7: if the synchroflash does weed yip that it is an armored is not wrong.;
$hypothesis$ = that the fact that the gunflint weeds yip and is a tonic is incorrect if the slump is not an armored does not hold. ; $context$ = sent1: the fact that that the gunflint is a tonic and a sash is not wrong is false if the frontiersman weeds yip. sent2: if that the slump is not an armored hold the gunflint weeds yip and is tonic. sent3: there is something such that it armors and it is a sash. sent4: there is something such that it is nontranslational and it does corner gaiter. sent5: the gaiter does not armor. sent6: something is a sash. sent7: something is a kind of a fret. sent8: the fact that the gunflint weeds yip and it is a tonic does not hold if the frontiersman does not weeds yip. sent9: if something that weeds yip is a kind of a tonic then the frontiersman armors. sent10: if something does weed yip then it is an armored. sent11: the slump does armor if something does weed yip and it is a sash. sent12: the frontiersman is a sash. sent13: there exists something such that it is a kind of a leach. sent14: that the fact that the gunflint does weed yip and it is a kind of a tonic is wrong hold if the slump does armor. sent15: the slump does not weed yip. sent16: something is a kind of a tonic that weeds yip. ; $proof$ = 
void -> assump2: Let's assume that the frontiersman does weed yip.; assump2 & sent12 -> int1: the frontiersman weeds yip and is a sash.; int1 -> int2: something does weed yip and it is a kind of a sash.; int2 & sent11 -> int3: the slump does armor.; void -> assump1: Let's assume that the slump is not an armored.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the frontiersman does not weed yip.; sent8 & int5 -> int6: that the gunflint weeds yip and is not non-tonic does not hold.; [assump1] & int6 -> hypothesis; __DISPROVED__