the smell does not occur if the pulsation happens.
sent1: the fact that both the aweing alligatored and the discountenancing sit-up happens is not right. sent2: if the aweing alligatored occurs the adventuristicness happens. sent3: the countermeasure occurs. sent4: the smelling happens if the pulsation occurs and the foreshock occurs. sent5: if the fact that not the wrestle but the soul happens is not correct the wastefulness occurs. sent6: the smelling does not occur if both the pulsation and the foreshock occurs. sent7: the scalicness does not occur. sent8: the drilling occurs. sent9: the fact that that not the manhandling uncongeniality but the countermeasure happens is right causes that the adventuristicness does not occur. sent10: the aweing alligatored does not occur. sent11: the smell happens. sent12: that not the translationalness but the pas happens brings about that the meddling does not occur. sent13: the discountenancing mounted and the aweing mollie happens. sent14: if the fact that the aweing alligatored does not occur and the discountenancing sit-up occurs is incorrect then the adventuristicness happens. sent15: the manhandling uncongeniality does not occur but the countermeasure occurs. sent16: the foreshock happens if the discountenancing sit-up happens. sent17: the wastefulness occurs. sent18: if the pulsation happens the smell occurs.
void -> assump1: Let's assume that that not the aweing alligatored but the discountenancing sit-up happens is not true.; sent14 & assump1 -> int1: the adventuristicness happens.; sent9 & sent15 -> int2: the adventuristicness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the aweing alligatored does not occur but the discountenancing sit-up happens.; int4 -> int5: the discountenancing sit-up happens.; int5 & sent16 -> int6: the foreshock occurs.; void -> assump2: Let's assume that the pulsation occurs.; int6 & assump2 -> int7: the pulsation occurs and the foreshock occurs.; int7 & sent6 -> int8: that the smelling does not occur is correct.; [assump2] & int8 -> hypothesis;
$hypothesis$ = the smell does not occur if the pulsation happens. ; $context$ = sent1: the fact that both the aweing alligatored and the discountenancing sit-up happens is not right. sent2: if the aweing alligatored occurs the adventuristicness happens. sent3: the countermeasure occurs. sent4: the smelling happens if the pulsation occurs and the foreshock occurs. sent5: if the fact that not the wrestle but the soul happens is not correct the wastefulness occurs. sent6: the smelling does not occur if both the pulsation and the foreshock occurs. sent7: the scalicness does not occur. sent8: the drilling occurs. sent9: the fact that that not the manhandling uncongeniality but the countermeasure happens is right causes that the adventuristicness does not occur. sent10: the aweing alligatored does not occur. sent11: the smell happens. sent12: that not the translationalness but the pas happens brings about that the meddling does not occur. sent13: the discountenancing mounted and the aweing mollie happens. sent14: if the fact that the aweing alligatored does not occur and the discountenancing sit-up occurs is incorrect then the adventuristicness happens. sent15: the manhandling uncongeniality does not occur but the countermeasure occurs. sent16: the foreshock happens if the discountenancing sit-up happens. sent17: the wastefulness occurs. sent18: if the pulsation happens the smell occurs. ; $proof$ = 
void -> assump1: Let's assume that that not the aweing alligatored but the discountenancing sit-up happens is not true.; sent14 & assump1 -> int1: the adventuristicness happens.; sent9 & sent15 -> int2: the adventuristicness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the aweing alligatored does not occur but the discountenancing sit-up happens.; int4 -> int5: the discountenancing sit-up happens.; int5 & sent16 -> int6: the foreshock occurs.; void -> assump2: Let's assume that the pulsation occurs.; int6 & assump2 -> int7: the pulsation occurs and the foreshock occurs.; int7 & sent6 -> int8: that the smelling does not occur is correct.; [assump2] & int8 -> hypothesis; __PROVED__