the Lens occurs.
sent1: that both the permitting and the non-scalarness occurs is caused by that the gargling does not occur. sent2: the non-apoplectiformness prevents the Christologicalness. sent3: if the praetorship does not occur the scalar occurs and the gargle occurs. sent4: the fielding bow-tie and the non-synapticness occurs if the Christologicalness occurs. sent5: the apoplectiformness happens. sent6: that the fielding bow-tie does not occur is triggered by the non-Christologicalness. sent7: the tightness and the algorithm occurs. sent8: the finding and the fielding allice happens. sent9: the scalar does not occur. sent10: the permitting happens. sent11: the fielding bow-tie occurs and the permit occurs if the scalarness does not occur. sent12: the permitting happens if the scalarness does not occur. sent13: the Christologicalness does not occur if the fact that the Lens does not occur but the apoplectiformness occurs is not true. sent14: the amalgamation does not occur.
void -> assump1: Let's assume that that not the Lens but the apoplectiformness happens does not hold.; sent13 & assump1 -> int1: the Christologicalness does not occur.; int1 & sent6 -> int2: the fact that the fielding bow-tie does not occur is not false.; sent11 & sent9 -> int3: the fielding bow-tie and the permitting occurs.; int3 -> int4: the fielding bow-tie occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Lens does not occur and the apoplectiformness happens.; int6 -> hypothesis;
the Lens occurs.
$hypothesis$ = the Lens occurs. ; $context$ = sent1: that both the permitting and the non-scalarness occurs is caused by that the gargling does not occur. sent2: the non-apoplectiformness prevents the Christologicalness. sent3: if the praetorship does not occur the scalar occurs and the gargle occurs. sent4: the fielding bow-tie and the non-synapticness occurs if the Christologicalness occurs. sent5: the apoplectiformness happens. sent6: that the fielding bow-tie does not occur is triggered by the non-Christologicalness. sent7: the tightness and the algorithm occurs. sent8: the finding and the fielding allice happens. sent9: the scalar does not occur. sent10: the permitting happens. sent11: the fielding bow-tie occurs and the permit occurs if the scalarness does not occur. sent12: the permitting happens if the scalarness does not occur. sent13: the Christologicalness does not occur if the fact that the Lens does not occur but the apoplectiformness occurs is not true. sent14: the amalgamation does not occur. ; $proof$ = 
void -> assump1: Let's assume that that not the Lens but the apoplectiformness happens does not hold.; sent13 & assump1 -> int1: the Christologicalness does not occur.; int1 & sent6 -> int2: the fact that the fielding bow-tie does not occur is not false.; sent11 & sent9 -> int3: the fielding bow-tie and the permitting occurs.; int3 -> int4: the fielding bow-tie occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Lens does not occur and the apoplectiformness happens.; int6 -> hypothesis; __DISPROVED__