the allographicness does not occur.
sent1: that both the separate and the audiovisual occurs prevents that the allographicness does not occur. sent2: the unicameralness is prevented by the heuristic. sent3: the allographicness occurs if both the non-separateness and the audiovisual happens. sent4: the boondoggle happens. sent5: not the separateness but the audiovisualness happens if the unicameralness does not occur. sent6: if that the boondoggling does not occur and the heuristicness does not occur is false then that the unicameralness does not occur hold. sent7: the heuristicness does not occur. sent8: the separating is prevented by the non-unicameralness. sent9: the fact that the boondoggling does not occur and the heuristic happens does not hold.
void -> assump1: Let's assume that the fact that the boondoggling does not occur and the heuristicness does not occur is right.; assump1 -> int1: the boondoggle does not occur.; sent4 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the boondoggle does not occur and the heuristic does not occur is wrong.; sent6 & int3 -> int4: the unicameralness does not occur.; sent5 & int4 -> int5: the non-separateness and the audiovisual occurs.; sent3 & int5 -> hypothesis;
$hypothesis$ = the allographicness does not occur. ; $context$ = sent1: that both the separate and the audiovisual occurs prevents that the allographicness does not occur. sent2: the unicameralness is prevented by the heuristic. sent3: the allographicness occurs if both the non-separateness and the audiovisual happens. sent4: the boondoggle happens. sent5: not the separateness but the audiovisualness happens if the unicameralness does not occur. sent6: if that the boondoggling does not occur and the heuristicness does not occur is false then that the unicameralness does not occur hold. sent7: the heuristicness does not occur. sent8: the separating is prevented by the non-unicameralness. sent9: the fact that the boondoggling does not occur and the heuristic happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the boondoggling does not occur and the heuristicness does not occur is right.; assump1 -> int1: the boondoggle does not occur.; sent4 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the boondoggle does not occur and the heuristic does not occur is wrong.; sent6 & int3 -> int4: the unicameralness does not occur.; sent5 & int4 -> int5: the non-separateness and the audiovisual occurs.; sent3 & int5 -> hypothesis; __DISPROVED__