the felo-de-se urticates wallpaperer.
sent1: if the felo-de-se is a kind of a dynamics then the hornet is pious and is not provencal. sent2: if something is nonfatal it is a Arminian. sent3: if the Serbian does not transgress then the fact that the alp is a cravat that does rig is not right. sent4: that the felo-de-se is a kind of non-provencal a isosorbide does not hold. sent5: that the round is not a kind of a dynamics but it is provencal is incorrect. sent6: if the round is a isosorbide then that the felo-de-se is not provencal but it is a kind of a isosorbide is not right. sent7: the hornet is nonfatal and it is dynamics. sent8: if the fact that something is a kind of provencal thing that is fatal is not right it is not provencal. sent9: the fact that the felo-de-se is both provencal and not a isosorbide does not hold. sent10: if the round is a kind of a isosorbide then the fact that the felo-de-se is not provencal and it is not a kind of a isosorbide is not correct. sent11: that the alp is not a kind of a cravat and is a rig is wrong if the Serbian does not transgress. sent12: the fact that the Serbian does not transgress and is a Arminian is not right if the wallpaperer does rig. sent13: the hornet is not a kind of a Arminian if the wallpaperer is both not impious and not a euphemism. sent14: the felo-de-se does not urticate wallpaperer if the fact that the Serbian does not transgress and is a kind of a Arminian is not right. sent15: the alp is not provencal if the fact that the round is both not dynamics and provencal is incorrect. sent16: the round is a isosorbide if there is something such that that it is both not a cravat and a rig is not right. sent17: if that the hornet is a cravat hold the wallpaperer does rig. sent18: the wallpaperer is not a kind of a euphemism if the Serbian transgresses. sent19: if the fact that something is not provencal and it is not a isosorbide is not correct it does urticate wallpaperer.
void -> assump1: Let's assume that the Serbian transgresses.; sent2 -> int1: the hornet is not non-Arminian if it is nonfatal.; sent7 -> int2: the hornet is nonfatal.; int1 & int2 -> int3: the hornet is a kind of a Arminian.; sent19 -> int4: if the fact that the felo-de-se is a kind of non-provencal thing that is not a isosorbide is not correct then it urticates wallpaperer.;
the felo-de-se does not urticate wallpaperer.
sent8 -> int5: if that the hornet is provencal and is not nonfatal is not correct then it is not provencal.; sent15 & sent5 -> int6: the fact that the alp is not provencal hold.; int6 -> int7: something is not provencal.;
$hypothesis$ = the felo-de-se urticates wallpaperer. ; $context$ = sent1: if the felo-de-se is a kind of a dynamics then the hornet is pious and is not provencal. sent2: if something is nonfatal it is a Arminian. sent3: if the Serbian does not transgress then the fact that the alp is a cravat that does rig is not right. sent4: that the felo-de-se is a kind of non-provencal a isosorbide does not hold. sent5: that the round is not a kind of a dynamics but it is provencal is incorrect. sent6: if the round is a isosorbide then that the felo-de-se is not provencal but it is a kind of a isosorbide is not right. sent7: the hornet is nonfatal and it is dynamics. sent8: if the fact that something is a kind of provencal thing that is fatal is not right it is not provencal. sent9: the fact that the felo-de-se is both provencal and not a isosorbide does not hold. sent10: if the round is a kind of a isosorbide then the fact that the felo-de-se is not provencal and it is not a kind of a isosorbide is not correct. sent11: that the alp is not a kind of a cravat and is a rig is wrong if the Serbian does not transgress. sent12: the fact that the Serbian does not transgress and is a Arminian is not right if the wallpaperer does rig. sent13: the hornet is not a kind of a Arminian if the wallpaperer is both not impious and not a euphemism. sent14: the felo-de-se does not urticate wallpaperer if the fact that the Serbian does not transgress and is a kind of a Arminian is not right. sent15: the alp is not provencal if the fact that the round is both not dynamics and provencal is incorrect. sent16: the round is a isosorbide if there is something such that that it is both not a cravat and a rig is not right. sent17: if that the hornet is a cravat hold the wallpaperer does rig. sent18: the wallpaperer is not a kind of a euphemism if the Serbian transgresses. sent19: if the fact that something is not provencal and it is not a isosorbide is not correct it does urticate wallpaperer. ; $proof$ = 
void -> assump1: Let's assume that the Serbian transgresses.; sent2 -> int1: the hornet is not non-Arminian if it is nonfatal.; sent7 -> int2: the hornet is nonfatal.; int1 & int2 -> int3: the hornet is a kind of a Arminian.; sent19 -> int4: if the fact that the felo-de-se is a kind of non-provencal thing that is not a isosorbide is not correct then it urticates wallpaperer.; __UNKNOWN__