the verso is archangelic.
sent1: if the salesman does not jostle pharmacopoeia then the verso is cormous. sent2: the cyproheptadine is onomatopoeic if that it does not whelp bend and is a kind of a drudgery does not hold. sent3: the verso does not kidnap steelyard and does not jostle pharmacopoeia if the salesman is not a jocundity. sent4: the steelyard is not onomatopoeic if the cyproheptadine does not individuate gentianella. sent5: if the fact that something is not cormous and/or does not kidnap emigration does not hold the fact that it is not a jocundity hold. sent6: the salesman is not a longshot. sent7: if the steelyard does not kidnap emigration the fact that that the salesman is not cormous or it does not kidnap emigration or both does not hold is not false. sent8: something is archangelic if it does not kidnap steelyard and does not jostle pharmacopoeia. sent9: the fact that the salesman does not whelp OIG or is not daisylike or both does not hold. sent10: the cyproheptadine is not onomatopoeic if the steelyard does kidnap emigration and/or does individuate gentianella. sent11: that the cyproheptadine does not whelp bend and is a kind of a drudgery is not true. sent12: the lisle does kidnap steelyard.
void -> assump1: Let's assume that the steelyard does kidnap emigration.; assump1 -> int1: the steelyard kidnaps emigration and/or individuates gentianella.; int1 & sent10 -> int2: the cyproheptadine is non-onomatopoeic.; sent2 & sent11 -> int3: the cyproheptadine is onomatopoeic.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the steelyard does not kidnap emigration.; int5 & sent7 -> int6: that either the salesman is not cormous or it does not kidnap emigration or both is false.; sent5 -> int7: if that the salesman is not cormous and/or it does not kidnap emigration is wrong that it is not a jocundity is not false.; int6 & int7 -> int8: the salesman is not a kind of a jocundity.; int8 & sent3 -> int9: the verso does not kidnap steelyard and does not jostle pharmacopoeia.; sent8 -> int10: if the verso does not kidnap steelyard and it does not jostle pharmacopoeia then that it is archangelic is right.; int9 & int10 -> hypothesis;
$hypothesis$ = the verso is archangelic. ; $context$ = sent1: if the salesman does not jostle pharmacopoeia then the verso is cormous. sent2: the cyproheptadine is onomatopoeic if that it does not whelp bend and is a kind of a drudgery does not hold. sent3: the verso does not kidnap steelyard and does not jostle pharmacopoeia if the salesman is not a jocundity. sent4: the steelyard is not onomatopoeic if the cyproheptadine does not individuate gentianella. sent5: if the fact that something is not cormous and/or does not kidnap emigration does not hold the fact that it is not a jocundity hold. sent6: the salesman is not a longshot. sent7: if the steelyard does not kidnap emigration the fact that that the salesman is not cormous or it does not kidnap emigration or both does not hold is not false. sent8: something is archangelic if it does not kidnap steelyard and does not jostle pharmacopoeia. sent9: the fact that the salesman does not whelp OIG or is not daisylike or both does not hold. sent10: the cyproheptadine is not onomatopoeic if the steelyard does kidnap emigration and/or does individuate gentianella. sent11: that the cyproheptadine does not whelp bend and is a kind of a drudgery is not true. sent12: the lisle does kidnap steelyard. ; $proof$ = 
void -> assump1: Let's assume that the steelyard does kidnap emigration.; assump1 -> int1: the steelyard kidnaps emigration and/or individuates gentianella.; int1 & sent10 -> int2: the cyproheptadine is non-onomatopoeic.; sent2 & sent11 -> int3: the cyproheptadine is onomatopoeic.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the steelyard does not kidnap emigration.; int5 & sent7 -> int6: that either the salesman is not cormous or it does not kidnap emigration or both is false.; sent5 -> int7: if that the salesman is not cormous and/or it does not kidnap emigration is wrong that it is not a jocundity is not false.; int6 & int7 -> int8: the salesman is not a kind of a jocundity.; int8 & sent3 -> int9: the verso does not kidnap steelyard and does not jostle pharmacopoeia.; sent8 -> int10: if the verso does not kidnap steelyard and it does not jostle pharmacopoeia then that it is archangelic is right.; int9 & int10 -> hypothesis; __PROVED__