the algometry happens.
sent1: if the enlarging occurs then the japaning kurrat happens. sent2: that the sensitizing sapsucker and the deserting occurs prevents that the grating happens. sent3: that the algometry occurs is brought about by the japaning hacker. sent4: that the opposition does not occur is prevented by the ungratefulness. sent5: that that the desert does not occur is prevented by the japaning kurrat is correct. sent6: the algometry happens if the marketplace occurs. sent7: the condensation or the stranding or both occurs. sent8: that the grating happens hold. sent9: if the gratefulness does not occur the sensitizing sapsucker and the opposition occurs. sent10: if the opposition does not occur then the fact that the marketplace and the ungratefulness occurs is false. sent11: the fact that the japaning kurrat but not the sensitizing sapsucker occurs does not hold if the desert does not occur. sent12: the gratefulness does not occur. sent13: the marketplace does not occur if that the marketplace and the non-gratefulness occurs is not true. sent14: the fact that either the marketplace occurs or the japaning hacker happens or both is not false if the enlarging does not occur.
void -> assump1: Let's assume that the fact that the enlarging happens is not wrong.; sent1 & assump1 -> int1: the japaning kurrat happens.; int1 & sent5 -> int2: the fact that the deserting happens is not wrong.; sent9 & sent12 -> int3: the sensitizing sapsucker happens and the opposition occurs.; int3 -> int4: the sensitizing sapsucker occurs.; int2 & int4 -> int5: both the sensitizing sapsucker and the desert happens.; int5 & sent2 -> int6: the grate does not occur.; int6 & sent8 -> int7: this is contradiction.; [assump1] & int7 -> int8: the enlarging does not occur.; int8 & sent14 -> int9: the marketplace occurs and/or the japaning hacker occurs.; int9 & sent6 & sent3 -> hypothesis;
the algometry does not occur.
$hypothesis$ = the algometry happens. ; $context$ = sent1: if the enlarging occurs then the japaning kurrat happens. sent2: that the sensitizing sapsucker and the deserting occurs prevents that the grating happens. sent3: that the algometry occurs is brought about by the japaning hacker. sent4: that the opposition does not occur is prevented by the ungratefulness. sent5: that that the desert does not occur is prevented by the japaning kurrat is correct. sent6: the algometry happens if the marketplace occurs. sent7: the condensation or the stranding or both occurs. sent8: that the grating happens hold. sent9: if the gratefulness does not occur the sensitizing sapsucker and the opposition occurs. sent10: if the opposition does not occur then the fact that the marketplace and the ungratefulness occurs is false. sent11: the fact that the japaning kurrat but not the sensitizing sapsucker occurs does not hold if the desert does not occur. sent12: the gratefulness does not occur. sent13: the marketplace does not occur if that the marketplace and the non-gratefulness occurs is not true. sent14: the fact that either the marketplace occurs or the japaning hacker happens or both is not false if the enlarging does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the enlarging happens is not wrong.; sent1 & assump1 -> int1: the japaning kurrat happens.; int1 & sent5 -> int2: the fact that the deserting happens is not wrong.; sent9 & sent12 -> int3: the sensitizing sapsucker happens and the opposition occurs.; int3 -> int4: the sensitizing sapsucker occurs.; int2 & int4 -> int5: both the sensitizing sapsucker and the desert happens.; int5 & sent2 -> int6: the grate does not occur.; int6 & sent8 -> int7: this is contradiction.; [assump1] & int7 -> int8: the enlarging does not occur.; int8 & sent14 -> int9: the marketplace occurs and/or the japaning hacker occurs.; int9 & sent6 & sent3 -> hypothesis; __PROVED__