the ballplayer is not electric but it invests ballplayer.
sent1: the erythrite is not Donnean if it is ahistorical and/or non-cervine. sent2: the whitebait does not unloose Wittgenstein. sent3: if the fact that either the erythrite is ahistorical or it is not cervine or both does not hold the whitebait does unloose Wittgenstein. sent4: if something is not Donnean then it is not outer. sent5: the desensitization does not invest ballplayer and is not a chlorpromazine if the erythrite is not outer. sent6: the ballplayer is non-electric thing that invests ballplayer if the desensitization does not invests ballplayer. sent7: The Wittgenstein does not unloose whitebait.
void -> assump1: Let's assume that the fact that the fact that the erythrite is ahistorical and/or non-cervine is incorrect is not false.; sent3 & assump1 -> int1: the whitebait unlooses Wittgenstein.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the erythrite is ahistorical and/or it is not cervine.; int3 & sent1 -> int4: the fact that the erythrite is not Donnean is true.; sent4 -> int5: the erythrite is not outer if it is not Donnean.; int4 & int5 -> int6: the erythrite is not outer.; int6 & sent5 -> int7: the desensitization does not invest ballplayer and is not a chlorpromazine.; int7 -> int8: the desensitization does not invest ballplayer.; int8 & sent6 -> hypothesis;
$hypothesis$ = the ballplayer is not electric but it invests ballplayer. ; $context$ = sent1: the erythrite is not Donnean if it is ahistorical and/or non-cervine. sent2: the whitebait does not unloose Wittgenstein. sent3: if the fact that either the erythrite is ahistorical or it is not cervine or both does not hold the whitebait does unloose Wittgenstein. sent4: if something is not Donnean then it is not outer. sent5: the desensitization does not invest ballplayer and is not a chlorpromazine if the erythrite is not outer. sent6: the ballplayer is non-electric thing that invests ballplayer if the desensitization does not invests ballplayer. sent7: The Wittgenstein does not unloose whitebait. ; $proof$ = 
void -> assump1: Let's assume that the fact that the fact that the erythrite is ahistorical and/or non-cervine is incorrect is not false.; sent3 & assump1 -> int1: the whitebait unlooses Wittgenstein.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the erythrite is ahistorical and/or it is not cervine.; int3 & sent1 -> int4: the fact that the erythrite is not Donnean is true.; sent4 -> int5: the erythrite is not outer if it is not Donnean.; int4 & int5 -> int6: the erythrite is not outer.; int6 & sent5 -> int7: the desensitization does not invest ballplayer and is not a chlorpromazine.; int7 -> int8: the desensitization does not invest ballplayer.; int8 & sent6 -> hypothesis; __PROVED__