the fact that the overload is a marlinespike and it is a cholelithotomy if the tovarich is not a soupspoon does not hold.
sent1: the fact that the tovarich is a trauma if the overload is not a soupspoon is not wrong. sent2: that the Easter does arouse Michelson but it does not overpower poetess is not true. sent3: the overload overpowers poetess and it is a kind of a marlinespike if the tovarich is not a kind of a soupspoon. sent4: the tovarich is cuticular. sent5: if the fact that the overload is a trauma is correct that it is not a cholelithotomy and it is not atonic is false. sent6: something is a kind of a cholelithotomy if the fact that it is not a cholelithotomy and it is not atonic is not true. sent7: the overload is a trauma. sent8: the overload is a marlinespike and it is a kind of a cholelithotomy if the tovarich is a soupspoon. sent9: if something is not a kind of a soupspoon that it does not barb daemon and is not a kind of a HAZMAT does not hold.
void -> assump1: Let's assume that the tovarich is not a soupspoon.; sent3 & assump1 -> int1: the overload overpowers poetess and it is a marlinespike.; int1 -> int2: the overload is a marlinespike.; sent6 -> int3: the overload is a cholelithotomy if that it is not a cholelithotomy and is not atonic is not right.; sent5 & sent7 -> int4: that the overload is both not a cholelithotomy and not atonic is not correct.; int3 & int4 -> int5: the overload is a kind of a cholelithotomy.; int2 & int5 -> int6: the overload is a kind of a marlinespike and it is a cholelithotomy.; [assump1] & int6 -> hypothesis;
the fact that the overload does not barb daemon and it is not a kind of a HAZMAT is not right.
sent9 -> int7: that the overload does not barb daemon and is not a HAZMAT is not correct if it is not a soupspoon.;
$hypothesis$ = the fact that the overload is a marlinespike and it is a cholelithotomy if the tovarich is not a soupspoon does not hold. ; $context$ = sent1: the fact that the tovarich is a trauma if the overload is not a soupspoon is not wrong. sent2: that the Easter does arouse Michelson but it does not overpower poetess is not true. sent3: the overload overpowers poetess and it is a kind of a marlinespike if the tovarich is not a kind of a soupspoon. sent4: the tovarich is cuticular. sent5: if the fact that the overload is a trauma is correct that it is not a cholelithotomy and it is not atonic is false. sent6: something is a kind of a cholelithotomy if the fact that it is not a cholelithotomy and it is not atonic is not true. sent7: the overload is a trauma. sent8: the overload is a marlinespike and it is a kind of a cholelithotomy if the tovarich is a soupspoon. sent9: if something is not a kind of a soupspoon that it does not barb daemon and is not a kind of a HAZMAT does not hold. ; $proof$ = 
void -> assump1: Let's assume that the tovarich is not a soupspoon.; sent3 & assump1 -> int1: the overload overpowers poetess and it is a marlinespike.; int1 -> int2: the overload is a marlinespike.; sent6 -> int3: the overload is a cholelithotomy if that it is not a cholelithotomy and is not atonic is not right.; sent5 & sent7 -> int4: that the overload is both not a cholelithotomy and not atonic is not correct.; int3 & int4 -> int5: the overload is a kind of a cholelithotomy.; int2 & int5 -> int6: the overload is a kind of a marlinespike and it is a cholelithotomy.; [assump1] & int6 -> hypothesis; __DISPROVED__