the fact that the backlog does truss or does not impel entelechy or both is false if the amphibole is a Brecht.
sent1: if that the backlog is both not a tradespeople and not a fencer is not true then the pansexual does not shun M3. sent2: if something does shun Uhland then it impels entelechy. sent3: if the amphibole does not impel entelechy then the beadle is a Brecht and does shun Uhland. sent4: if the fact that something does shun M3 and it does truss is false it does not impel entelechy. sent5: the fact that the backlog does truss and/or it does not impel entelechy is wrong if the pansexual impel entelechy. sent6: that either the backlog does truss or it impels entelechy or both is false if the amphibole is a Brecht. sent7: if the backlog is a Brecht the amphibole is either a truss or not a Brecht or both. sent8: if the amphibole is a Brecht then the pansexual does shun Uhland. sent9: that the flight is a kind of a tradespeople is not false if that the cytolysin is not a kind of a tradespeople and is plumbaginaceous is not true. sent10: that the cytolysin is not a tradespeople but it is plumbaginaceous is not correct.
void -> assump1: Let's assume that the amphibole is a Brecht.; sent8 & assump1 -> int1: the pansexual does shun Uhland.; sent2 -> int2: the pansexual impels entelechy if it does shun Uhland.; int1 & int2 -> int3: the fact that the pansexual does impel entelechy is not false.; int3 & sent5 -> int4: the fact that the backlog either trusses or does not impel entelechy or both is not right.; [assump1] & int4 -> hypothesis;
the beadle does shun Uhland.
sent4 -> int5: the amphibole does not impel entelechy if the fact that it shuns M3 and it trusses does not hold.; sent9 & sent10 -> int6: the flight is a tradespeople.; int6 -> int7: there is something such that it is a kind of a tradespeople.;
$hypothesis$ = the fact that the backlog does truss or does not impel entelechy or both is false if the amphibole is a Brecht. ; $context$ = sent1: if that the backlog is both not a tradespeople and not a fencer is not true then the pansexual does not shun M3. sent2: if something does shun Uhland then it impels entelechy. sent3: if the amphibole does not impel entelechy then the beadle is a Brecht and does shun Uhland. sent4: if the fact that something does shun M3 and it does truss is false it does not impel entelechy. sent5: the fact that the backlog does truss and/or it does not impel entelechy is wrong if the pansexual impel entelechy. sent6: that either the backlog does truss or it impels entelechy or both is false if the amphibole is a Brecht. sent7: if the backlog is a Brecht the amphibole is either a truss or not a Brecht or both. sent8: if the amphibole is a Brecht then the pansexual does shun Uhland. sent9: that the flight is a kind of a tradespeople is not false if that the cytolysin is not a kind of a tradespeople and is plumbaginaceous is not true. sent10: that the cytolysin is not a tradespeople but it is plumbaginaceous is not correct. ; $proof$ = 
void -> assump1: Let's assume that the amphibole is a Brecht.; sent8 & assump1 -> int1: the pansexual does shun Uhland.; sent2 -> int2: the pansexual impels entelechy if it does shun Uhland.; int1 & int2 -> int3: the fact that the pansexual does impel entelechy is not false.; int3 & sent5 -> int4: the fact that the backlog either trusses or does not impel entelechy or both is not right.; [assump1] & int4 -> hypothesis; __PROVED__