the bitchery occurs.
sent1: the bitchery does not occur if the acceptableness and the postprandialness happens. sent2: that that the modality occurs but the juncture does not occur is not true if the politicness occurs is right. sent3: the adjudication occurs. sent4: the surfaceness and the acceptableness happens. sent5: the adjudication does not occur if that the modality happens and the juncture does not occur is not correct. sent6: if the politicness does not occur or the episode does not occur or both the postprandialness happens.
void -> assump1: Let's assume that the politicness occurs.; sent2 & assump1 -> int1: the fact that the modality occurs and the juncture does not occur is not true.; int1 & sent5 -> int2: the adjudication does not occur.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the politicness does not occur.; int4 -> int5: the politicness does not occur and/or the episode does not occur.; int5 & sent6 -> int6: the postprandialness happens.; sent4 -> int7: the acceptableness happens.; int6 & int7 -> int8: the acceptableness and the postprandialness occurs.; int8 & sent1 -> hypothesis;
$hypothesis$ = the bitchery occurs. ; $context$ = sent1: the bitchery does not occur if the acceptableness and the postprandialness happens. sent2: that that the modality occurs but the juncture does not occur is not true if the politicness occurs is right. sent3: the adjudication occurs. sent4: the surfaceness and the acceptableness happens. sent5: the adjudication does not occur if that the modality happens and the juncture does not occur is not correct. sent6: if the politicness does not occur or the episode does not occur or both the postprandialness happens. ; $proof$ = 
void -> assump1: Let's assume that the politicness occurs.; sent2 & assump1 -> int1: the fact that the modality occurs and the juncture does not occur is not true.; int1 & sent5 -> int2: the adjudication does not occur.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the politicness does not occur.; int4 -> int5: the politicness does not occur and/or the episode does not occur.; int5 & sent6 -> int6: the postprandialness happens.; sent4 -> int7: the acceptableness happens.; int6 & int7 -> int8: the acceptableness and the postprandialness occurs.; int8 & sent1 -> hypothesis; __DISPROVED__