that the handle is not a kind of a Halloween and/or it does not trip Eyeish does not hold if the glutton is not abaxial.
sent1: that either the handle is not a kind of a Halloween or it does trip Eyeish or both is false if the glutton is not abaxial. sent2: that that either the handle is not a Halloween or it does not trip Eyeish or both is incorrect is right if the glutton is abaxial. sent3: if that the glutton is not a thrust and/or it Frenchifies leftover does not hold the refinement is a Halloween. sent4: the refinement is a Halloween if that the glutton is a kind of a thrust and/or it does not Frenchify leftover is incorrect. sent5: if the glutton is non-abaxial then the handle is not a kind of a Halloween or it does not trip Eyeish or both. sent6: the fact that the fact that the handle is not a kind of a Halloween and/or does not trip Eyeish is incorrect is true if the refinement is a kind of a Halloween. sent7: the fact that the glutton is not a thrust and/or does not Frenchify leftover is not right if it is non-abaxial. sent8: the fact that the refinement is a Halloween if that the glutton either is not a kind of a thrust or does not Frenchify leftover or both does not hold is not incorrect.
void -> assump1: Let's assume that the glutton is not abaxial.; sent7 & assump1 -> int1: the fact that either the glutton is not a thrust or it does not Frenchify leftover or both is wrong.; int1 & sent8 -> int2: the refinement is a kind of a Halloween.; int2 & sent6 -> int3: that the handle is not a Halloween and/or it does not trip Eyeish is false.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the handle is not a kind of a Halloween and/or it does not trip Eyeish does not hold if the glutton is not abaxial. ; $context$ = sent1: that either the handle is not a kind of a Halloween or it does trip Eyeish or both is false if the glutton is not abaxial. sent2: that that either the handle is not a Halloween or it does not trip Eyeish or both is incorrect is right if the glutton is abaxial. sent3: if that the glutton is not a thrust and/or it Frenchifies leftover does not hold the refinement is a Halloween. sent4: the refinement is a Halloween if that the glutton is a kind of a thrust and/or it does not Frenchify leftover is incorrect. sent5: if the glutton is non-abaxial then the handle is not a kind of a Halloween or it does not trip Eyeish or both. sent6: the fact that the fact that the handle is not a kind of a Halloween and/or does not trip Eyeish is incorrect is true if the refinement is a kind of a Halloween. sent7: the fact that the glutton is not a thrust and/or does not Frenchify leftover is not right if it is non-abaxial. sent8: the fact that the refinement is a Halloween if that the glutton either is not a kind of a thrust or does not Frenchify leftover or both does not hold is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the glutton is not abaxial.; sent7 & assump1 -> int1: the fact that either the glutton is not a thrust or it does not Frenchify leftover or both is wrong.; int1 & sent8 -> int2: the refinement is a kind of a Halloween.; int2 & sent6 -> int3: that the handle is not a Halloween and/or it does not trip Eyeish is false.; [assump1] & int3 -> hypothesis; __PROVED__