the Argiveness occurs.
sent1: if the molding Teleprompter does not occur then both the unwholesomeness and the give happens. sent2: if the Argive does not occur then the stewardship does not occur. sent3: the giving does not occur if that that the stewardship happens and/or the anaphrodisiacness occurs does not hold is not incorrect. sent4: the molding Teleprompter does not occur. sent5: if the Argive does not occur then the fact that either the stewardship happens or the anaphrodisiacness happens or both is not correct.
void -> assump1: Let's assume that the Argive does not occur.; sent5 & assump1 -> int1: the fact that either the stewardship occurs or the anaphrodisiacness happens or both is incorrect.; int1 & sent3 -> int2: the giving does not occur.; sent1 & sent4 -> int3: the unwholesomeness and the giving occurs.; int3 -> int4: the fact that the give occurs is not incorrect.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the Argiveness occurs. ; $context$ = sent1: if the molding Teleprompter does not occur then both the unwholesomeness and the give happens. sent2: if the Argive does not occur then the stewardship does not occur. sent3: the giving does not occur if that that the stewardship happens and/or the anaphrodisiacness occurs does not hold is not incorrect. sent4: the molding Teleprompter does not occur. sent5: if the Argive does not occur then the fact that either the stewardship happens or the anaphrodisiacness happens or both is not correct. ; $proof$ = 
void -> assump1: Let's assume that the Argive does not occur.; sent5 & assump1 -> int1: the fact that either the stewardship occurs or the anaphrodisiacness happens or both is incorrect.; int1 & sent3 -> int2: the giving does not occur.; sent1 & sent4 -> int3: the unwholesomeness and the giving occurs.; int3 -> int4: the fact that the give occurs is not incorrect.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__