that the fact that the point-of-saleness does not occur or the foraging canto occurs or both is false if the nonfictionalness occurs is not right.
sent1: that the point-of-saleness occurs and/or the foraging canto happens is false if the nonfictionalness happens. sent2: the foraging canto does not occur. sent3: the catoptricness happens. sent4: the nonfictionalness does not occur if the foraging canto occurs. sent5: that the cash-and-carriness does not occur is correct. sent6: the non-point-of-saleness or the foraging canto or both happens if the nonfictionalness happens. sent7: if the incursion does not occur then either the warming does not occur or the inspiration happens or both. sent8: that the calculation does not occur or the fractionalness occurs or both triggers the non-unseaworthiness. sent9: if either the climacticness does not occur or the catastrophe happens or both then the bestness does not occur. sent10: if the nonfictionalness occurs the foraging canto does not occur. sent11: the point-of-saleness does not occur. sent12: if the point-of-saleness does not occur and/or the foraging canto occurs the nonfictionalness does not occur. sent13: if the point-of-saleness happens or the foraging canto happens or both then the fact that the nonfictionalness does not occur is correct. sent14: the fact that either the climacticness does not occur or the bordering Rochambeau occurs or both is not true if the bordering proturan occurs. sent15: that either the point-of-saleness happens or the foraging canto happens or both is wrong. sent16: if the foraging anniversary happens that either the precentorship does not occur or the noncommercialness occurs or both is not correct.
void -> assump1: Let's assume that either the non-point-of-saleness or the foraging canto or both occurs.; sent12 & assump1 -> int1: the nonfictionalness does not occur.; void -> assump2: Let's assume that the fact that the nonfictionalness occurs is not incorrect.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the point-of-saleness does not occur and/or the foraging canto occurs is incorrect.; [assump2] & int3 -> hypothesis;
the non-warmness and/or the inspiration occurs.
$hypothesis$ = that the fact that the point-of-saleness does not occur or the foraging canto occurs or both is false if the nonfictionalness occurs is not right. ; $context$ = sent1: that the point-of-saleness occurs and/or the foraging canto happens is false if the nonfictionalness happens. sent2: the foraging canto does not occur. sent3: the catoptricness happens. sent4: the nonfictionalness does not occur if the foraging canto occurs. sent5: that the cash-and-carriness does not occur is correct. sent6: the non-point-of-saleness or the foraging canto or both happens if the nonfictionalness happens. sent7: if the incursion does not occur then either the warming does not occur or the inspiration happens or both. sent8: that the calculation does not occur or the fractionalness occurs or both triggers the non-unseaworthiness. sent9: if either the climacticness does not occur or the catastrophe happens or both then the bestness does not occur. sent10: if the nonfictionalness occurs the foraging canto does not occur. sent11: the point-of-saleness does not occur. sent12: if the point-of-saleness does not occur and/or the foraging canto occurs the nonfictionalness does not occur. sent13: if the point-of-saleness happens or the foraging canto happens or both then the fact that the nonfictionalness does not occur is correct. sent14: the fact that either the climacticness does not occur or the bordering Rochambeau occurs or both is not true if the bordering proturan occurs. sent15: that either the point-of-saleness happens or the foraging canto happens or both is wrong. sent16: if the foraging anniversary happens that either the precentorship does not occur or the noncommercialness occurs or both is not correct. ; $proof$ = 
void -> assump1: Let's assume that either the non-point-of-saleness or the foraging canto or both occurs.; sent12 & assump1 -> int1: the nonfictionalness does not occur.; void -> assump2: Let's assume that the fact that the nonfictionalness occurs is not incorrect.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the point-of-saleness does not occur and/or the foraging canto occurs is incorrect.; [assump2] & int3 -> hypothesis; __DISPROVED__