that the hurricane either does toss woodenware or does not hone fractal or both is not correct if the woodenware is not majuscule.
sent1: if the Trilby does not hone fractal then that the hurricane does toss woodenware and/or it does not hone fractal is incorrect. sent2: if something does not tell and is not anginal it does not hone fractal. sent3: the hurricane hones fractal. sent4: if the rectus does not tell the Trilby does not tell. sent5: something is both not interlobular and non-majuscule if it does not tell. sent6: if the rectus tells then the woodenware is majuscule. sent7: the Trilby does not tell and is not anginal if the rectus does not tell.
void -> assump2: Let's assume that the rectus does tell.; sent6 & assump2 -> int1: the woodenware is majuscule.; void -> assump1: Let's assume that that the woodenware is not majuscule is not false.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the rectus does not tell.; int3 & sent7 -> int4: the Trilby does not tell and it is not anginal.; sent2 -> int5: if the Trilby does not tell and it is not anginal it does not hone fractal.; int4 & int5 -> int6: the Trilby does not hone fractal.; int6 & sent1 -> int7: that the hurricane tosses woodenware or it does not hone fractal or both is not correct.; [assump1] & int7 -> hypothesis;
the coonskin is both not interlobular and not majuscule.
sent5 -> int8: if the coonskin does not tell then it is not interlobular and is not majuscule.;
$hypothesis$ = that the hurricane either does toss woodenware or does not hone fractal or both is not correct if the woodenware is not majuscule. ; $context$ = sent1: if the Trilby does not hone fractal then that the hurricane does toss woodenware and/or it does not hone fractal is incorrect. sent2: if something does not tell and is not anginal it does not hone fractal. sent3: the hurricane hones fractal. sent4: if the rectus does not tell the Trilby does not tell. sent5: something is both not interlobular and non-majuscule if it does not tell. sent6: if the rectus tells then the woodenware is majuscule. sent7: the Trilby does not tell and is not anginal if the rectus does not tell. ; $proof$ = 
void -> assump2: Let's assume that the rectus does tell.; sent6 & assump2 -> int1: the woodenware is majuscule.; void -> assump1: Let's assume that that the woodenware is not majuscule is not false.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the rectus does not tell.; int3 & sent7 -> int4: the Trilby does not tell and it is not anginal.; sent2 -> int5: if the Trilby does not tell and it is not anginal it does not hone fractal.; int4 & int5 -> int6: the Trilby does not hone fractal.; int6 & sent1 -> int7: that the hurricane tosses woodenware or it does not hone fractal or both is not correct.; [assump1] & int7 -> hypothesis; __PROVED__