the launching does not occur.
sent1: the Kuroshio and the mistrial occurs. sent2: the outnumbering pastorate happens. sent3: the launching happens if the deducing does not occur. sent4: if the departure does not occur the reorienting Gond occurs. sent5: the brainwave does not occur. sent6: the fact that the insolence does not occur and the tug-of-war does not occur is not right if the departure happens. sent7: if the fact that either the lick happens or the outnumbering pastorate does not occur or both is wrong the launching does not occur. sent8: if the mistrial occurs the three-pieceness does not occur and the reorienting Gond does not occur. sent9: if the bust does not occur the Kuroshio does not occur. sent10: if the deducing happens and the tug-of-war happens then the departure does not occur. sent11: the deducing occurs and the insolence happens. sent12: the three-pieceness does not occur and the mistrial does not occur if the Kuroshio does not occur. sent13: the outnumbering tune does not occur.
sent11 -> int1: the deducing happens.; void -> assump1: Let's assume that the tug-of-war happens.; int1 & assump1 -> int2: the deducing and the tug-of-war occurs.; int2 & sent10 -> int3: the departure does not occur.; int3 & sent4 -> int4: the fact that the reorienting Gond occurs is true.; sent1 -> int5: the mistrial occurs.; sent8 & int5 -> int6: the three-pieceness does not occur and the reorienting Gond does not occur.; int6 -> int7: the reorienting Gond does not occur.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the tug-of-war does not occur.;
the launching occurs.
$hypothesis$ = the launching does not occur. ; $context$ = sent1: the Kuroshio and the mistrial occurs. sent2: the outnumbering pastorate happens. sent3: the launching happens if the deducing does not occur. sent4: if the departure does not occur the reorienting Gond occurs. sent5: the brainwave does not occur. sent6: the fact that the insolence does not occur and the tug-of-war does not occur is not right if the departure happens. sent7: if the fact that either the lick happens or the outnumbering pastorate does not occur or both is wrong the launching does not occur. sent8: if the mistrial occurs the three-pieceness does not occur and the reorienting Gond does not occur. sent9: if the bust does not occur the Kuroshio does not occur. sent10: if the deducing happens and the tug-of-war happens then the departure does not occur. sent11: the deducing occurs and the insolence happens. sent12: the three-pieceness does not occur and the mistrial does not occur if the Kuroshio does not occur. sent13: the outnumbering tune does not occur. ; $proof$ = 
sent11 -> int1: the deducing happens.; void -> assump1: Let's assume that the tug-of-war happens.; int1 & assump1 -> int2: the deducing and the tug-of-war occurs.; int2 & sent10 -> int3: the departure does not occur.; int3 & sent4 -> int4: the fact that the reorienting Gond occurs is true.; sent1 -> int5: the mistrial occurs.; sent8 & int5 -> int6: the three-pieceness does not occur and the reorienting Gond does not occur.; int6 -> int7: the reorienting Gond does not occur.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the tug-of-war does not occur.; __UNKNOWN__