the typhoon occurs.
sent1: if the fact that the waiting and the motivationalness happens is not true the motivationalness does not occur. sent2: the lacustrineness does not occur if the fact that the non-actinomycetalness and the non-geopoliticalness occurs is incorrect. sent3: the denying phenylbutazone does not occur and the transactinide does not occur if the lacustrineness does not occur. sent4: if that both the X-raying and the Egyptian happens is right the bomb does not occur. sent5: the oleaceousness occurs and the overrunning occurs. sent6: if the motivationalness does not occur then that both the non-actinomycetalness and the non-geopoliticalness happens is not correct. sent7: the smokelessness does not occur if not the bullet but the overrunning occurs. sent8: the transactinide occurs. sent9: that both the wait and the motivationalness happens is not correct if the ruffianism does not occur. sent10: if the overrunning does not occur then the typhoon occurs and the oleaceousness occurs. sent11: that the bullet and the transactinideness occurs brings about that the typhoon does not occur. sent12: that the pitching surrenderer happens hold. sent13: the denying phenylbutazone does not occur. sent14: that the denying phenylbutazone does not occur causes that the smokelessness occurs. sent15: the ruffianism does not occur if that the denying Rossbach and the ruffianism happens does not hold.
sent5 -> int1: the overrunning occurs.; void -> assump1: Let's assume that the bullet does not occur.; int1 & assump1 -> int2: the bullet does not occur but the overrunning occurs.; int2 & sent7 -> int3: that the smokelessness does not occur is right.; sent14 & sent13 -> int4: the smokelessness occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bullet occurs.; int6 & sent8 -> int7: both the bullet and the transactinide occurs.; int7 & sent11 -> hypothesis;
the fact that the typhoon occurs is not false.
$hypothesis$ = the typhoon occurs. ; $context$ = sent1: if the fact that the waiting and the motivationalness happens is not true the motivationalness does not occur. sent2: the lacustrineness does not occur if the fact that the non-actinomycetalness and the non-geopoliticalness occurs is incorrect. sent3: the denying phenylbutazone does not occur and the transactinide does not occur if the lacustrineness does not occur. sent4: if that both the X-raying and the Egyptian happens is right the bomb does not occur. sent5: the oleaceousness occurs and the overrunning occurs. sent6: if the motivationalness does not occur then that both the non-actinomycetalness and the non-geopoliticalness happens is not correct. sent7: the smokelessness does not occur if not the bullet but the overrunning occurs. sent8: the transactinide occurs. sent9: that both the wait and the motivationalness happens is not correct if the ruffianism does not occur. sent10: if the overrunning does not occur then the typhoon occurs and the oleaceousness occurs. sent11: that the bullet and the transactinideness occurs brings about that the typhoon does not occur. sent12: that the pitching surrenderer happens hold. sent13: the denying phenylbutazone does not occur. sent14: that the denying phenylbutazone does not occur causes that the smokelessness occurs. sent15: the ruffianism does not occur if that the denying Rossbach and the ruffianism happens does not hold. ; $proof$ = 
sent5 -> int1: the overrunning occurs.; void -> assump1: Let's assume that the bullet does not occur.; int1 & assump1 -> int2: the bullet does not occur but the overrunning occurs.; int2 & sent7 -> int3: that the smokelessness does not occur is right.; sent14 & sent13 -> int4: the smokelessness occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bullet occurs.; int6 & sent8 -> int7: both the bullet and the transactinide occurs.; int7 & sent11 -> hypothesis; __DISPROVED__