the fact that the non-histologicalness leads to that the oculism happens or that the oscillation occurs or both is wrong.
sent1: not the paging jubilee but the promenade occurs. sent2: if the fact that the non-pyrecticness and the histologicalness occurs is not right the revealing occurs. sent3: the spraying does not occur. sent4: if the pyrecticness happens the revealing occurs. sent5: the oculism happens if the revealing occurs.
void -> assump2: Let's assume that the non-pyrecticness and the histologicalness happens.; assump2 -> int1: the histologicalness occurs.; void -> assump1: Let's assume that the histologicalness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that not the pyrecticness but the histologicalness occurs is not correct.; sent2 & int3 -> int4: the revealing occurs.; sent5 & int4 -> int5: the oculism occurs.; int5 -> int6: the oculism occurs and/or the oscillation occurs.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the non-histologicalness leads to that the oculism happens or that the oscillation occurs or both is wrong. ; $context$ = sent1: not the paging jubilee but the promenade occurs. sent2: if the fact that the non-pyrecticness and the histologicalness occurs is not right the revealing occurs. sent3: the spraying does not occur. sent4: if the pyrecticness happens the revealing occurs. sent5: the oculism happens if the revealing occurs. ; $proof$ = 
void -> assump2: Let's assume that the non-pyrecticness and the histologicalness happens.; assump2 -> int1: the histologicalness occurs.; void -> assump1: Let's assume that the histologicalness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that not the pyrecticness but the histologicalness occurs is not correct.; sent2 & int3 -> int4: the revealing occurs.; sent5 & int4 -> int5: the oculism occurs.; int5 -> int6: the oculism occurs and/or the oscillation occurs.; [assump1] & int6 -> hypothesis; __DISPROVED__