that the vicegerent is not unsinkable if the fact that the bunkmate is not unquestionable is right is not right.
sent1: that either the cutter blankets ranula or it is not a Lug or both is wrong if there exists something such that it is unquestionable. sent2: the vicegerent is not unsinkable if that the cutter does blanket ranula or it is not a Lug or both is false. sent3: if the crabgrass jams spacewalker the spring is not a hymn and it is not a Mosander. sent4: if the fact that the cutter blankets ranula or is a Lug or both is false then the vicegerent is not unsinkable. sent5: the fact that the fact that the cutter does blanket ranula or it is not a kind of a Lug or both is right does not hold if there is something such that it is not unquestionable. sent6: that the cutter is a kind of a Lug that does not blanket ranula is wrong if the vicegerent is a hymn. sent7: if the spring is not a hymn and it is not a Mosander then the vicegerent is a hymn. sent8: the bunkmate is not a Lug. sent9: the vicegerent is unsinkable if the bunkmate is not unquestionable. sent10: the fact that something is unquestionable and is unsinkable is wrong if it is not a Lug. sent11: if there is something such that that it is a Lug that does not blanket ranula is incorrect then the thylacine is not a Lug. sent12: the fact that the cutter is not unquestionable if the bunkmate does not blanket ranula is true. sent13: the cutter is a Lug if there exists something such that that it is not unquestionable is not incorrect. sent14: the vicegerent is not unsinkable if the bunkmate is unquestionable. sent15: the vicegerent is a kind of a Lug. sent16: the cutter is a Lug. sent17: the cutter is not unquestionable if the fact that the vicegerent is unsinkable or it is not a Lug or both is incorrect.
void -> assump1: Let's assume that the bunkmate is not unquestionable.; assump1 -> int1: something is questionable.; int1 & sent5 -> int2: the fact that the cutter does blanket ranula and/or is not a kind of a Lug does not hold.; sent2 & int2 -> int3: the vicegerent is not unsinkable.; [assump1] & int3 -> hypothesis;
the thylacine is not unsinkable.
sent10 -> int4: if the thylacine is not a Lug that it is unquestionable and it is unsinkable is incorrect.;
$hypothesis$ = that the vicegerent is not unsinkable if the fact that the bunkmate is not unquestionable is right is not right. ; $context$ = sent1: that either the cutter blankets ranula or it is not a Lug or both is wrong if there exists something such that it is unquestionable. sent2: the vicegerent is not unsinkable if that the cutter does blanket ranula or it is not a Lug or both is false. sent3: if the crabgrass jams spacewalker the spring is not a hymn and it is not a Mosander. sent4: if the fact that the cutter blankets ranula or is a Lug or both is false then the vicegerent is not unsinkable. sent5: the fact that the fact that the cutter does blanket ranula or it is not a kind of a Lug or both is right does not hold if there is something such that it is not unquestionable. sent6: that the cutter is a kind of a Lug that does not blanket ranula is wrong if the vicegerent is a hymn. sent7: if the spring is not a hymn and it is not a Mosander then the vicegerent is a hymn. sent8: the bunkmate is not a Lug. sent9: the vicegerent is unsinkable if the bunkmate is not unquestionable. sent10: the fact that something is unquestionable and is unsinkable is wrong if it is not a Lug. sent11: if there is something such that that it is a Lug that does not blanket ranula is incorrect then the thylacine is not a Lug. sent12: the fact that the cutter is not unquestionable if the bunkmate does not blanket ranula is true. sent13: the cutter is a Lug if there exists something such that that it is not unquestionable is not incorrect. sent14: the vicegerent is not unsinkable if the bunkmate is unquestionable. sent15: the vicegerent is a kind of a Lug. sent16: the cutter is a Lug. sent17: the cutter is not unquestionable if the fact that the vicegerent is unsinkable or it is not a Lug or both is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the bunkmate is not unquestionable.; assump1 -> int1: something is questionable.; int1 & sent5 -> int2: the fact that the cutter does blanket ranula and/or is not a kind of a Lug does not hold.; sent2 & int2 -> int3: the vicegerent is not unsinkable.; [assump1] & int3 -> hypothesis; __DISPROVED__