the confiscation does not occur.
sent1: both the brachialness and the sophistication occurs. sent2: the probabilisticness does not occur if the agon and the penetration happens. sent3: that either the sophistication does not occur or the laryngectomy occurs or both is wrong if the fact that the lie does not occur is correct. sent4: the sophistication happens. sent5: the motley does not occur. sent6: if the probabilisticness but not the urinariness happens then the motley happens. sent7: that the dithyrambicness happens and the revocableness happens prevents that the caesuralness happens. sent8: the accession happens. sent9: if the dizygoticness and the lie happens then the urinariness does not occur. sent10: that the revocableness does not occur or the swamping maid occurs or both is not true. sent11: that the urinariness and the non-probabilisticness happens leads to the non-dizygoticness. sent12: if the dizygoticness does not occur that the uplink does not occur and the lie does not occur is false. sent13: the remitting and the perceiving tormenter happens. sent14: if that the uplink does not occur and the lie does not occur is false the uplink occurs. sent15: the sophistication occurs if the lying does not occur. sent16: the confiscation happens if the fact that the sophistication does not occur and/or the laryngectomy happens is not true. sent17: the fact that the probabilisticness occurs hold. sent18: the dizygoticness occurs. sent19: the confiscation occurs if that the sophistication and/or the laryngectomy happens is not true. sent20: the exalting invertebrate occurs.
void -> assump1: Let's assume that the lie occurs.; sent18 & assump1 -> int1: that both the dizygoticness and the lie happens hold.; int1 & sent9 -> int2: the urinariness does not occur.; int2 & sent17 -> int3: both the probabilisticness and the non-urinariness occurs.; int3 & sent6 -> int4: the motleying occurs.; int4 & sent5 -> int5: this is contradiction.; [assump1] & int5 -> int6: the lying does not occur.; int6 & sent3 -> int7: the fact that either the sophistication does not occur or the laryngectomy happens or both is incorrect.; int7 & sent16 -> hypothesis;
the uplink occurs.
sent1 -> int8: the sophistication happens.;
$hypothesis$ = the confiscation does not occur. ; $context$ = sent1: both the brachialness and the sophistication occurs. sent2: the probabilisticness does not occur if the agon and the penetration happens. sent3: that either the sophistication does not occur or the laryngectomy occurs or both is wrong if the fact that the lie does not occur is correct. sent4: the sophistication happens. sent5: the motley does not occur. sent6: if the probabilisticness but not the urinariness happens then the motley happens. sent7: that the dithyrambicness happens and the revocableness happens prevents that the caesuralness happens. sent8: the accession happens. sent9: if the dizygoticness and the lie happens then the urinariness does not occur. sent10: that the revocableness does not occur or the swamping maid occurs or both is not true. sent11: that the urinariness and the non-probabilisticness happens leads to the non-dizygoticness. sent12: if the dizygoticness does not occur that the uplink does not occur and the lie does not occur is false. sent13: the remitting and the perceiving tormenter happens. sent14: if that the uplink does not occur and the lie does not occur is false the uplink occurs. sent15: the sophistication occurs if the lying does not occur. sent16: the confiscation happens if the fact that the sophistication does not occur and/or the laryngectomy happens is not true. sent17: the fact that the probabilisticness occurs hold. sent18: the dizygoticness occurs. sent19: the confiscation occurs if that the sophistication and/or the laryngectomy happens is not true. sent20: the exalting invertebrate occurs. ; $proof$ = 
void -> assump1: Let's assume that the lie occurs.; sent18 & assump1 -> int1: that both the dizygoticness and the lie happens hold.; int1 & sent9 -> int2: the urinariness does not occur.; int2 & sent17 -> int3: both the probabilisticness and the non-urinariness occurs.; int3 & sent6 -> int4: the motleying occurs.; int4 & sent5 -> int5: this is contradiction.; [assump1] & int5 -> int6: the lying does not occur.; int6 & sent3 -> int7: the fact that either the sophistication does not occur or the laryngectomy happens or both is incorrect.; int7 & sent16 -> hypothesis; __DISPROVED__