the glossy is not a Beauvoir and it is not a housetop.
sent1: something that is not weatherly is not vulvar. sent2: that that the wineskin does not overbear garter but it is a loop is not true hold if the glossy does not overbear garter. sent3: if that something is not a sisterhood and is not a kind of a loop is not true it does loop. sent4: something is not a Beauvoir and it is not a housetop if it is a kind of a loop. sent5: the flatfish is not weatherly. sent6: if the glossy is a kind of a Duma the flatfish does overbear garter and is not a loop. sent7: if the wineskin is a kind of a Eucharist then the glossy is a kind of a Duma. sent8: if the felwort does not overbear garter then that the wineskin is not a sisterhood and does not loop is false. sent9: if the felwort is weatherly then the wineskin is vulvar. sent10: the felwort is a sisterhood if that the wineskin does not overbear garter but it does loop is wrong. sent11: the glossy does not overbear garter if it is not a Beauvoir and is not a housetop. sent12: the flatfish is not a Eucharist. sent13: the felwort does not overbear garter if the fact that the flatfish is a kind of a Eucharist and it overbear garter is incorrect. sent14: something that is a kind of a sisterhood is a kind of a Duma. sent15: if the glossy is not a Beauvoir then that the flatfish is not a Beauvoir and is weatherly is not true. sent16: if the felwort is a kind of a Duma then the flatfish is vulvar thing that is not a Eucharist.
void -> assump1: Let's assume that the glossy is not a Beauvoir and it is not a kind of a housetop.; sent11 & assump1 -> int1: the glossy does not overbear garter.; int1 & sent2 -> int2: the fact that the wineskin does not overbear garter but it loops is not correct.; int2 & sent10 -> int3: the felwort is a kind of a sisterhood.; sent14 -> int4: if the felwort is a sisterhood then it is a kind of a Duma.; int3 & int4 -> int5: the felwort is a Duma.; int5 & sent16 -> int6: the flatfish is vulvar but not a Eucharist.; int6 -> int7: the fact that the flatfish is vulvar hold.; sent1 -> int8: if the flatfish is not weatherly it is not vulvar.; int8 & sent5 -> int9: the flatfish is not vulvar.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the glossy is not a Beauvoir and it is not a kind of a housetop.
sent4 -> int11: if the glossy is a loop it is not a kind of a Beauvoir and it is not a housetop.; sent3 -> int12: the wineskin is a kind of a loop if that it is not a sisterhood and not a loop does not hold.;
$hypothesis$ = the glossy is not a Beauvoir and it is not a housetop. ; $context$ = sent1: something that is not weatherly is not vulvar. sent2: that that the wineskin does not overbear garter but it is a loop is not true hold if the glossy does not overbear garter. sent3: if that something is not a sisterhood and is not a kind of a loop is not true it does loop. sent4: something is not a Beauvoir and it is not a housetop if it is a kind of a loop. sent5: the flatfish is not weatherly. sent6: if the glossy is a kind of a Duma the flatfish does overbear garter and is not a loop. sent7: if the wineskin is a kind of a Eucharist then the glossy is a kind of a Duma. sent8: if the felwort does not overbear garter then that the wineskin is not a sisterhood and does not loop is false. sent9: if the felwort is weatherly then the wineskin is vulvar. sent10: the felwort is a sisterhood if that the wineskin does not overbear garter but it does loop is wrong. sent11: the glossy does not overbear garter if it is not a Beauvoir and is not a housetop. sent12: the flatfish is not a Eucharist. sent13: the felwort does not overbear garter if the fact that the flatfish is a kind of a Eucharist and it overbear garter is incorrect. sent14: something that is a kind of a sisterhood is a kind of a Duma. sent15: if the glossy is not a Beauvoir then that the flatfish is not a Beauvoir and is weatherly is not true. sent16: if the felwort is a kind of a Duma then the flatfish is vulvar thing that is not a Eucharist. ; $proof$ = 
void -> assump1: Let's assume that the glossy is not a Beauvoir and it is not a kind of a housetop.; sent11 & assump1 -> int1: the glossy does not overbear garter.; int1 & sent2 -> int2: the fact that the wineskin does not overbear garter but it loops is not correct.; int2 & sent10 -> int3: the felwort is a kind of a sisterhood.; sent14 -> int4: if the felwort is a sisterhood then it is a kind of a Duma.; int3 & int4 -> int5: the felwort is a Duma.; int5 & sent16 -> int6: the flatfish is vulvar but not a Eucharist.; int6 -> int7: the fact that the flatfish is vulvar hold.; sent1 -> int8: if the flatfish is not weatherly it is not vulvar.; int8 & sent5 -> int9: the flatfish is not vulvar.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__