that the arms does not occur if that the fact that the deficientness and the non-heterosexualness happens hold is wrong does not hold.
sent1: the arms is prevented by that both the deficientness and the non-heterosexualness occurs. sent2: the deficientness and the dunking happens. sent3: the snicking discipline or the heterosexualness or both triggers that the arms does not occur.
sent2 -> int1: the deficientness occurs.; void -> assump1: Let's assume that the heterosexualness does not occur.; int1 & assump1 -> int2: the deficientness occurs but the heterosexualness does not occur.; void -> assump2: Let's assume that that that the deficientness and the non-heterosexualness happens is not true is not incorrect.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the heterosexual happens.; int4 -> int5: the snicking discipline occurs or the heterosexualness occurs or both.; int5 & sent3 -> int6: the arms does not occur.; [assump2] & int6 -> hypothesis;
$hypothesis$ = that the arms does not occur if that the fact that the deficientness and the non-heterosexualness happens hold is wrong does not hold. ; $context$ = sent1: the arms is prevented by that both the deficientness and the non-heterosexualness occurs. sent2: the deficientness and the dunking happens. sent3: the snicking discipline or the heterosexualness or both triggers that the arms does not occur. ; $proof$ = 
sent2 -> int1: the deficientness occurs.; void -> assump1: Let's assume that the heterosexualness does not occur.; int1 & assump1 -> int2: the deficientness occurs but the heterosexualness does not occur.; void -> assump2: Let's assume that that that the deficientness and the non-heterosexualness happens is not true is not incorrect.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the heterosexual happens.; int4 -> int5: the snicking discipline occurs or the heterosexualness occurs or both.; int5 & sent3 -> int6: the arms does not occur.; [assump2] & int6 -> hypothesis; __DISPROVED__