the contrail happens if the geneticsness occurs.
sent1: the elaborating tribe occurs and the secession does not occur. sent2: if that the viceroyship happens but the leasing mucus does not occur is not correct the narcoterrorism does not occur. sent3: the fall occurs. sent4: that the geneticsness happens but the narcoterrorism does not occur prevents that the Atticness does not occur. sent5: if the narcoterrorism occurs then that the viceroyship happens is correct. sent6: the leasing frostiness does not occur. sent7: if that not the going-over but the leasing mucus occurs is wrong the going-over occurs. sent8: the leasing mucus occurs. sent9: that the going-over does not occur but the leasing mucus happens is wrong if the fact that the viceroyship occurs is not incorrect. sent10: the leasing typification occurs if the Creole occurs. sent11: the dueling happens if that the axing Kuroshio happens is correct. sent12: if the inhalant does not occur the self-defense does not occur and the scat does not occur. sent13: if the stencil happens then the espionage happens. sent14: the Sardinianness does not occur. sent15: if the fact that the telocentricness but not the Demosthenicness happens is not true then that the inhalant does not occur is right. sent16: the narcoterrorism does not occur if that the viceroyship does not occur is not false. sent17: that the Attic occurs leads to the contrail. sent18: if that the triggering happens is not wrong the kid occurs. sent19: the viceroyship happens. sent20: that the Attic does not occur and the contrail does not occur is triggered by that the self-defense does not occur. sent21: the elaborating snuffler happens. sent22: the milestone does not occur if that the leasing Aram occurs and the take-in does not occur is false. sent23: if the leasing typification occurs then that the telocentricness occurs but the Demosthenicness does not occur is not right.
void -> assump2: Let's assume that the viceroyship happens and the leasing mucus does not occur.; assump2 -> int1: the leasing mucus does not occur.; int1 & sent8 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the viceroyship happens and the leasing mucus does not occur is incorrect.; int3 & sent2 -> int4: the narcoterrorism does not occur.; void -> assump1: Let's assume that the geneticsness occurs.; int4 & assump1 -> int5: the geneticsness occurs but the narcoterrorism does not occur.; int5 & sent4 -> int6: the Atticness occurs.; int6 & sent17 -> int7: the contrail occurs.; [assump1] & int7 -> hypothesis;
the going-over occurs.
$hypothesis$ = the contrail happens if the geneticsness occurs. ; $context$ = sent1: the elaborating tribe occurs and the secession does not occur. sent2: if that the viceroyship happens but the leasing mucus does not occur is not correct the narcoterrorism does not occur. sent3: the fall occurs. sent4: that the geneticsness happens but the narcoterrorism does not occur prevents that the Atticness does not occur. sent5: if the narcoterrorism occurs then that the viceroyship happens is correct. sent6: the leasing frostiness does not occur. sent7: if that not the going-over but the leasing mucus occurs is wrong the going-over occurs. sent8: the leasing mucus occurs. sent9: that the going-over does not occur but the leasing mucus happens is wrong if the fact that the viceroyship occurs is not incorrect. sent10: the leasing typification occurs if the Creole occurs. sent11: the dueling happens if that the axing Kuroshio happens is correct. sent12: if the inhalant does not occur the self-defense does not occur and the scat does not occur. sent13: if the stencil happens then the espionage happens. sent14: the Sardinianness does not occur. sent15: if the fact that the telocentricness but not the Demosthenicness happens is not true then that the inhalant does not occur is right. sent16: the narcoterrorism does not occur if that the viceroyship does not occur is not false. sent17: that the Attic occurs leads to the contrail. sent18: if that the triggering happens is not wrong the kid occurs. sent19: the viceroyship happens. sent20: that the Attic does not occur and the contrail does not occur is triggered by that the self-defense does not occur. sent21: the elaborating snuffler happens. sent22: the milestone does not occur if that the leasing Aram occurs and the take-in does not occur is false. sent23: if the leasing typification occurs then that the telocentricness occurs but the Demosthenicness does not occur is not right. ; $proof$ = 
void -> assump2: Let's assume that the viceroyship happens and the leasing mucus does not occur.; assump2 -> int1: the leasing mucus does not occur.; int1 & sent8 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the viceroyship happens and the leasing mucus does not occur is incorrect.; int3 & sent2 -> int4: the narcoterrorism does not occur.; void -> assump1: Let's assume that the geneticsness occurs.; int4 & assump1 -> int5: the geneticsness occurs but the narcoterrorism does not occur.; int5 & sent4 -> int6: the Atticness occurs.; int6 & sent17 -> int7: the contrail occurs.; [assump1] & int7 -> hypothesis; __PROVED__