the worm is not a Oklahoman.
sent1: if the worm weans seven-spot and does wean schnecken then it is not a Oklahoman. sent2: the worm does wean schnecken. sent3: the fact that something does not spectate discus and is a kind of a Min is false if it does not wean graciousness. sent4: if the worm is a kind of a telemark then it weans seven-spot. sent5: the worm does not look. sent6: the worm is not a looking but it does thrombose pasture. sent7: if the fact that the worm does not spectate discus but it is a Min does not hold the Warner is a Min. sent8: something is not a telemark but it is a Oklahoman if it is a Min. sent9: The schnecken does wean worm. sent10: the worm props scholium if it is a sinuosity. sent11: the fact that the worm is a looking and thromboses pasture is incorrect. sent12: the fact that the worm is not a looking and does thrombose pasture does not hold if it is not a kind of a telemark. sent13: if something is not a kind of a telemark that it does not wean schnecken and weans seven-spot is incorrect. sent14: if the fact that the worm is not a telemark is right the fact that it is a looking and it thromboses pasture is incorrect. sent15: everything does not wean graciousness. sent16: the fact that the pasture is not a Min and it does not wean schnecken is not true if it does wean graciousness.
void -> assump1: Let's assume that the worm is not a telemark.; sent12 & assump1 -> int1: the fact that the worm does not look and does thrombose pasture does not hold.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the worm is a telemark.; int3 & sent4 -> int4: the worm weans seven-spot.; int4 & sent2 -> int5: the worm does wean seven-spot and weans schnecken.; int5 & sent1 -> hypothesis;
the Warner does not wean seven-spot.
sent13 -> int6: that the Warner does not wean schnecken but it does wean seven-spot is not right if it is not a kind of a telemark.; sent3 -> int7: that the pasture does not spectate discus but it is a Min does not hold if it does not wean graciousness.; sent15 -> int8: the pasture does not wean graciousness.; int7 & int8 -> int9: the fact that the pasture does not spectate discus and is a Min is incorrect.; int9 -> int10: there is nothing such that it does not spectate discus and it is a Min.; int10 -> int11: the fact that that the worm does not spectate discus and is a Min is true is false.; sent7 & int11 -> int12: the Warner is a Min.; sent8 -> int13: if the Warner is a kind of a Min that it is not a telemark and it is a Oklahoman is not incorrect.; int12 & int13 -> int14: the Warner is not a telemark but it is a Oklahoman.; int14 -> int15: the Warner is not a telemark.; int6 & int15 -> int16: that the Warner does not wean schnecken but it does wean seven-spot is wrong.;
$hypothesis$ = the worm is not a Oklahoman. ; $context$ = sent1: if the worm weans seven-spot and does wean schnecken then it is not a Oklahoman. sent2: the worm does wean schnecken. sent3: the fact that something does not spectate discus and is a kind of a Min is false if it does not wean graciousness. sent4: if the worm is a kind of a telemark then it weans seven-spot. sent5: the worm does not look. sent6: the worm is not a looking but it does thrombose pasture. sent7: if the fact that the worm does not spectate discus but it is a Min does not hold the Warner is a Min. sent8: something is not a telemark but it is a Oklahoman if it is a Min. sent9: The schnecken does wean worm. sent10: the worm props scholium if it is a sinuosity. sent11: the fact that the worm is a looking and thromboses pasture is incorrect. sent12: the fact that the worm is not a looking and does thrombose pasture does not hold if it is not a kind of a telemark. sent13: if something is not a kind of a telemark that it does not wean schnecken and weans seven-spot is incorrect. sent14: if the fact that the worm is not a telemark is right the fact that it is a looking and it thromboses pasture is incorrect. sent15: everything does not wean graciousness. sent16: the fact that the pasture is not a Min and it does not wean schnecken is not true if it does wean graciousness. ; $proof$ = 
void -> assump1: Let's assume that the worm is not a telemark.; sent12 & assump1 -> int1: the fact that the worm does not look and does thrombose pasture does not hold.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the worm is a telemark.; int3 & sent4 -> int4: the worm weans seven-spot.; int4 & sent2 -> int5: the worm does wean seven-spot and weans schnecken.; int5 & sent1 -> hypothesis; __PROVED__