the oxytetracycline does not belabor Piston.
sent1: something belabors Piston if it does belabor peripeteia. sent2: if the oxytetracycline does not belabor peripeteia then it philanders Cynic. sent3: something does gladden. sent4: if there is something such that it does gladden then the newcomer is non-tuberculate a winter. sent5: the fact that the newcomer philanders Cynic hold. sent6: something is not a kind of a welt if it is not tuberculate and it is a winter. sent7: the newcomer philanders Cynic if it is not a winter. sent8: the newcomer does belabor Piston if there is something such that it is tuberculate. sent9: the newcomer is not a taekwondo and philanders evisceration. sent10: if the oxytetracycline philanders Cynic then that the newcomer welts hold.
void -> assump1: Let's assume that the oxytetracycline does not belabor peripeteia.; sent2 & assump1 -> int1: the oxytetracycline does philander Cynic.; int1 & sent10 -> int2: the newcomer is a welt.; sent6 -> int3: the newcomer is not a welt if it is not tuberculate and it is a kind of a winter.; sent3 & sent4 -> int4: the newcomer is not tuberculate but it is a kind of a winter.; int3 & int4 -> int5: the newcomer does not welt.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the oxytetracycline belabors peripeteia.; sent1 -> int8: the oxytetracycline does belabor Piston if it does belabor peripeteia.; int7 & int8 -> hypothesis;
$hypothesis$ = the oxytetracycline does not belabor Piston. ; $context$ = sent1: something belabors Piston if it does belabor peripeteia. sent2: if the oxytetracycline does not belabor peripeteia then it philanders Cynic. sent3: something does gladden. sent4: if there is something such that it does gladden then the newcomer is non-tuberculate a winter. sent5: the fact that the newcomer philanders Cynic hold. sent6: something is not a kind of a welt if it is not tuberculate and it is a winter. sent7: the newcomer philanders Cynic if it is not a winter. sent8: the newcomer does belabor Piston if there is something such that it is tuberculate. sent9: the newcomer is not a taekwondo and philanders evisceration. sent10: if the oxytetracycline philanders Cynic then that the newcomer welts hold. ; $proof$ = 
void -> assump1: Let's assume that the oxytetracycline does not belabor peripeteia.; sent2 & assump1 -> int1: the oxytetracycline does philander Cynic.; int1 & sent10 -> int2: the newcomer is a welt.; sent6 -> int3: the newcomer is not a welt if it is not tuberculate and it is a kind of a winter.; sent3 & sent4 -> int4: the newcomer is not tuberculate but it is a kind of a winter.; int3 & int4 -> int5: the newcomer does not welt.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the oxytetracycline belabors peripeteia.; sent1 -> int8: the oxytetracycline does belabor Piston if it does belabor peripeteia.; int7 & int8 -> hypothesis; __DISPROVED__