the Agriculture occurs.
sent1: the fact that the fact that the proximalness but not the dinging Levant occurs does not hold is not false. sent2: the ascensionalness happens and the outgeneraling Plautus happens if the dinging ranching does not occur. sent3: the fact that the dinging ranching does not occur is not wrong. sent4: the Agriculture occurs if the objecting platen happens. sent5: if that the fact that the proximalness happens but the dinging Levant does not occur is not false does not hold the Assault does not occur. sent6: the lightingness does not occur. sent7: both the dinging ranching and the nonaddictiveness happens if the nonconformity does not occur. sent8: that the proximalness and the dinging Levant happens does not hold. sent9: the dinging hee-haw does not occur and the vinaceousness happens. sent10: if the dinging ranching happens the outgeneraling Plautus happens. sent11: the Down does not occur. sent12: the totalitarian does not occur. sent13: the outgeneraling Plautus happens. sent14: that the Agriculture does not occur is caused by that not the objecting platen but the ascensionalness happens. sent15: the Assault does not occur if the dinging Levant occurs. sent16: the scotching does not occur. sent17: the Assault occurs if the objecting platen happens.
void -> assump1: Let's assume that the objecting platen happens.; sent17 & assump1 -> int1: the Assault happens.; sent5 & sent1 -> int2: the Assault does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the objecting platen does not occur is not incorrect.; sent2 & sent3 -> int5: the ascensionalness happens and the outgeneraling Plautus occurs.; int5 -> int6: the ascensionalness happens.; int4 & int6 -> int7: not the objecting platen but the ascensionalness occurs.; int7 & sent14 -> hypothesis;
the Agriculture happens.
$hypothesis$ = the Agriculture occurs. ; $context$ = sent1: the fact that the fact that the proximalness but not the dinging Levant occurs does not hold is not false. sent2: the ascensionalness happens and the outgeneraling Plautus happens if the dinging ranching does not occur. sent3: the fact that the dinging ranching does not occur is not wrong. sent4: the Agriculture occurs if the objecting platen happens. sent5: if that the fact that the proximalness happens but the dinging Levant does not occur is not false does not hold the Assault does not occur. sent6: the lightingness does not occur. sent7: both the dinging ranching and the nonaddictiveness happens if the nonconformity does not occur. sent8: that the proximalness and the dinging Levant happens does not hold. sent9: the dinging hee-haw does not occur and the vinaceousness happens. sent10: if the dinging ranching happens the outgeneraling Plautus happens. sent11: the Down does not occur. sent12: the totalitarian does not occur. sent13: the outgeneraling Plautus happens. sent14: that the Agriculture does not occur is caused by that not the objecting platen but the ascensionalness happens. sent15: the Assault does not occur if the dinging Levant occurs. sent16: the scotching does not occur. sent17: the Assault occurs if the objecting platen happens. ; $proof$ = 
void -> assump1: Let's assume that the objecting platen happens.; sent17 & assump1 -> int1: the Assault happens.; sent5 & sent1 -> int2: the Assault does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the objecting platen does not occur is not incorrect.; sent2 & sent3 -> int5: the ascensionalness happens and the outgeneraling Plautus occurs.; int5 -> int6: the ascensionalness happens.; int4 & int6 -> int7: not the objecting platen but the ascensionalness occurs.; int7 & sent14 -> hypothesis; __DISPROVED__