that the ninjutsu does not occur and the strikeout does not occur results in that the sensualizing polysyllable occurs.
sent1: if that both the bimodalness and the repulsion happens is not right the bawling income does not occur. sent2: the ostealness but not the inferentialness happens. sent3: if the Saharan occurs the masking mortgagor happens. sent4: the ninjutsu does not occur. sent5: the cheering happens if the ninjutsu happens and the strikeout does not occur. sent6: if the fact that both the ostealness and the antiseptic happens does not hold then the steepening speakerphone does not occur. sent7: if the ninjutsu does not occur but the strikeout occurs the sensualizing polysyllable occurs. sent8: if the bimodalness does not occur the bawling income does not occur. sent9: that the ninjutsu does not occur but the strikeout happens causes the cheer. sent10: the subcontracting happens if the unionness does not occur. sent11: if the fact that the bawling income does not occur is not incorrect then the fact that both the cheering and the non-Saharanness happens is not true. sent12: that the ninjutsu does not occur and the strikeout does not occur brings about that the cheer occurs. sent13: the sensualizing polysyllable happens if the ninjutsu occurs and the strikeout does not occur. sent14: the de-escalation but not the valentness happens. sent15: the masking mortgagor and the non-Franciscanness occurs if the Saharan happens. sent16: that the masking mortgagor occurs hold. sent17: that both the bimodalness and the repulsion occurs is not right. sent18: the strikeout does not occur. sent19: the Barbadian occurs. sent20: if that the flying occurs is not correct then the sensualizing polysyllable occurs. sent21: the rectalness does not occur. sent22: the flying does not occur if the masking mortgagor occurs and the Franciscan does not occur. sent23: the bawling refusal does not occur.
void -> assump2: Let's assume that the ninjutsu does not occur and the strikeout does not occur.; sent12 & assump2 -> int1: the cheering happens.; void -> assump1: Let's assume that the Saharanness does not occur.; int1 & assump1 -> int2: both the cheering and the non-Saharanness occurs.; sent1 & sent17 -> int3: the bawling income does not occur.; sent11 & int3 -> int4: that both the cheering and the non-Saharanness happens does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Saharan happens.; int6 & sent15 -> int7: the masking mortgagor happens but the Franciscan does not occur.; int7 & sent22 -> int8: the flying does not occur.; int8 & sent20 -> int9: the fact that the sensualizing polysyllable occurs is not incorrect.; [assump2] & int9 -> hypothesis;
$hypothesis$ = that the ninjutsu does not occur and the strikeout does not occur results in that the sensualizing polysyllable occurs. ; $context$ = sent1: if that both the bimodalness and the repulsion happens is not right the bawling income does not occur. sent2: the ostealness but not the inferentialness happens. sent3: if the Saharan occurs the masking mortgagor happens. sent4: the ninjutsu does not occur. sent5: the cheering happens if the ninjutsu happens and the strikeout does not occur. sent6: if the fact that both the ostealness and the antiseptic happens does not hold then the steepening speakerphone does not occur. sent7: if the ninjutsu does not occur but the strikeout occurs the sensualizing polysyllable occurs. sent8: if the bimodalness does not occur the bawling income does not occur. sent9: that the ninjutsu does not occur but the strikeout happens causes the cheer. sent10: the subcontracting happens if the unionness does not occur. sent11: if the fact that the bawling income does not occur is not incorrect then the fact that both the cheering and the non-Saharanness happens is not true. sent12: that the ninjutsu does not occur and the strikeout does not occur brings about that the cheer occurs. sent13: the sensualizing polysyllable happens if the ninjutsu occurs and the strikeout does not occur. sent14: the de-escalation but not the valentness happens. sent15: the masking mortgagor and the non-Franciscanness occurs if the Saharan happens. sent16: that the masking mortgagor occurs hold. sent17: that both the bimodalness and the repulsion occurs is not right. sent18: the strikeout does not occur. sent19: the Barbadian occurs. sent20: if that the flying occurs is not correct then the sensualizing polysyllable occurs. sent21: the rectalness does not occur. sent22: the flying does not occur if the masking mortgagor occurs and the Franciscan does not occur. sent23: the bawling refusal does not occur. ; $proof$ = 
void -> assump2: Let's assume that the ninjutsu does not occur and the strikeout does not occur.; sent12 & assump2 -> int1: the cheering happens.; void -> assump1: Let's assume that the Saharanness does not occur.; int1 & assump1 -> int2: both the cheering and the non-Saharanness occurs.; sent1 & sent17 -> int3: the bawling income does not occur.; sent11 & int3 -> int4: that both the cheering and the non-Saharanness happens does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Saharan happens.; int6 & sent15 -> int7: the masking mortgagor happens but the Franciscan does not occur.; int7 & sent22 -> int8: the flying does not occur.; int8 & sent20 -> int9: the fact that the sensualizing polysyllable occurs is not incorrect.; [assump2] & int9 -> hypothesis; __PROVED__