the transshipment does not occur.
sent1: the charming nine-spot occurs and the sureness occurs. sent2: if the distilling does not occur the snagging horse does not occur but the transshipment happens. sent3: that the filicide does not occur is brought about by that the fostering happens and/or the perinasalness occurs. sent4: if that the flow occurs is true then the sporadicness does not occur. sent5: the transshipment does not occur if that not the fostering but the transshipment occurs does not hold. sent6: if the fact that the fact that not the filicide but the sporadicness happens is not false is not correct the perinasalness does not occur. sent7: the distilling does not occur if the fostering does not occur and the sporadicness does not occur. sent8: if the charming nine-spot occurs the flowing occurs. sent9: the filicide happens and the heist occurs. sent10: that the distilling does not occur prevents the snagging horse. sent11: that the perinasalness occurs prevents that the filicide occurs. sent12: if the distilling occurs then the fact that the filicide does not occur and the sporadicness occurs is not correct.
void -> assump1: Let's assume that the fostering happens.; assump1 -> int1: the fostering or the perinasalness or both happens.; int1 & sent3 -> int2: the filicide does not occur.; sent9 -> int3: the filicide occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the fostering does not occur is not wrong.; sent1 -> int6: the charming nine-spot occurs.; sent8 & int6 -> int7: the flow occurs.; sent4 & int7 -> int8: the sporadicness does not occur.; int5 & int8 -> int9: the fostering does not occur and the sporadicness does not occur.; int9 & sent7 -> int10: the distilling does not occur.; int10 & sent2 -> int11: not the snagging horse but the transshipment occurs.; int11 -> hypothesis;
the transshipment does not occur.
$hypothesis$ = the transshipment does not occur. ; $context$ = sent1: the charming nine-spot occurs and the sureness occurs. sent2: if the distilling does not occur the snagging horse does not occur but the transshipment happens. sent3: that the filicide does not occur is brought about by that the fostering happens and/or the perinasalness occurs. sent4: if that the flow occurs is true then the sporadicness does not occur. sent5: the transshipment does not occur if that not the fostering but the transshipment occurs does not hold. sent6: if the fact that the fact that not the filicide but the sporadicness happens is not false is not correct the perinasalness does not occur. sent7: the distilling does not occur if the fostering does not occur and the sporadicness does not occur. sent8: if the charming nine-spot occurs the flowing occurs. sent9: the filicide happens and the heist occurs. sent10: that the distilling does not occur prevents the snagging horse. sent11: that the perinasalness occurs prevents that the filicide occurs. sent12: if the distilling occurs then the fact that the filicide does not occur and the sporadicness occurs is not correct. ; $proof$ = 
void -> assump1: Let's assume that the fostering happens.; assump1 -> int1: the fostering or the perinasalness or both happens.; int1 & sent3 -> int2: the filicide does not occur.; sent9 -> int3: the filicide occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the fostering does not occur is not wrong.; sent1 -> int6: the charming nine-spot occurs.; sent8 & int6 -> int7: the flow occurs.; sent4 & int7 -> int8: the sporadicness does not occur.; int5 & int8 -> int9: the fostering does not occur and the sporadicness does not occur.; int9 & sent7 -> int10: the distilling does not occur.; int10 & sent2 -> int11: not the snagging horse but the transshipment occurs.; int11 -> hypothesis; __DISPROVED__