the fact that the splaying masted is prevented by the discounting does not hold.
sent1: if the discount happens then the splaying masted happens. sent2: if the discount does not occur that the spraying worktable does not occur hold. sent3: that the opening but not the physiotherapeuticness happens is not correct. sent4: the fact that the twilight occurs and the mist occurs is false. sent5: that the splaying masted does not occur and the splaying emptying happens is not right if the communicating HUD does not occur. sent6: that the arson happens and the lexicography occurs is wrong. sent7: the higherness does not occur. sent8: the spraying Dunkirk does not occur. sent9: if that the communicating HUD happens is true then the splaying emptying happens. sent10: the fact that the salvo but not the communicating HUD happens is not right. sent11: that the discount occurs and the splaying masted occurs results in that the splaying emptying does not occur. sent12: the splaying emptying happens if the fact that that the salvo occurs and the communicating HUD does not occur is not right hold.
void -> assump2: Let's assume that the discount happens.; void -> assump1: Let's assume that the splaying masted occurs.; assump2 & assump1 -> int1: that the discount and the splaying masted happens is right.; int1 & sent11 -> int2: the splaying emptying does not occur.; sent12 & sent10 -> int3: the splaying emptying happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the splaying masted does not occur.; [assump2] & int5 -> hypothesis;
the spraying worktable does not occur.
$hypothesis$ = the fact that the splaying masted is prevented by the discounting does not hold. ; $context$ = sent1: if the discount happens then the splaying masted happens. sent2: if the discount does not occur that the spraying worktable does not occur hold. sent3: that the opening but not the physiotherapeuticness happens is not correct. sent4: the fact that the twilight occurs and the mist occurs is false. sent5: that the splaying masted does not occur and the splaying emptying happens is not right if the communicating HUD does not occur. sent6: that the arson happens and the lexicography occurs is wrong. sent7: the higherness does not occur. sent8: the spraying Dunkirk does not occur. sent9: if that the communicating HUD happens is true then the splaying emptying happens. sent10: the fact that the salvo but not the communicating HUD happens is not right. sent11: that the discount occurs and the splaying masted occurs results in that the splaying emptying does not occur. sent12: the splaying emptying happens if the fact that that the salvo occurs and the communicating HUD does not occur is not right hold. ; $proof$ = 
void -> assump2: Let's assume that the discount happens.; void -> assump1: Let's assume that the splaying masted occurs.; assump2 & assump1 -> int1: that the discount and the splaying masted happens is right.; int1 & sent11 -> int2: the splaying emptying does not occur.; sent12 & sent10 -> int3: the splaying emptying happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the splaying masted does not occur.; [assump2] & int5 -> hypothesis; __DISPROVED__