the endoneurium is a filmdom.
sent1: the endoneurium patrols embolism. sent2: if the arrogator patrols piss-up and it is a menorah then it is not a kind of a vocal. sent3: if the arrogator is not vocal it patrols Myrmeleontidae and is a satinet. sent4: the fact that the tang is not myrmecophytic is not incorrect if that the arrogator is Trinidadian and a Melba is false. sent5: the endoneurium is not burlesque. sent6: the endoneurium does revise tang and it is a kind of a hippopotamus. sent7: if the endoneurium is not a kind of a burlesque but it revises tang it is a filmdom. sent8: if there exists something such that that it is non-burlesque thing that revises tang is incorrect then that the antitoxin does not revises tang hold. sent9: the endoneurium is euphonious. sent10: the arrogator does not patrol Phylloscopus if it patrols Myrmeleontidae and it is a satinet. sent11: if the fact that something is a kind of a Tunisian that does not patrol mistrial does not hold it is not a kind of a Tunisian. sent12: the horseleech is a burlesque. sent13: the fact that something is a kind of non-burlesque thing that revises tang does not hold if it is not a Tunisian. sent14: the fact that the fell is a kind of a hippopotamus and it is a filmdom is incorrect if the antitoxin does not revise tang. sent15: the fact that something is a Tunisian but it does not patrol mistrial is not correct if it is not myrmecophytic. sent16: if something does not patrol Phylloscopus the fact that it is a kind of Trinidadian thing that is a Melba does not hold. sent17: the vertex does revise tang. sent18: the arrogator patrols piss-up and is a kind of a menorah.
sent6 -> int1: the endoneurium revises tang.; int1 & sent5 -> int2: the endoneurium is not a burlesque but it does revise tang.; int2 & sent7 -> hypothesis;
the endoneurium is not a filmdom.
sent13 -> int3: if the tang is not a Tunisian then that it is a kind of non-burlesque thing that revises tang is incorrect.; sent11 -> int4: the tang is not a kind of a Tunisian if the fact that it is a kind of a Tunisian and it does not patrol mistrial is not correct.; sent15 -> int5: that that the tang is a kind of a Tunisian but it does not patrol mistrial is not incorrect does not hold if it is non-myrmecophytic.; sent16 -> int6: if the arrogator does not patrol Phylloscopus that it is a kind of a Trinidadian and it is a Melba does not hold.; sent2 & sent18 -> int7: the arrogator is not a vocal.; sent3 & int7 -> int8: the arrogator patrols Myrmeleontidae and it is a satinet.; sent10 & int8 -> int9: the arrogator does not patrol Phylloscopus.; int6 & int9 -> int10: the fact that the arrogator is Trinidadian and it is a Melba does not hold.; sent4 & int10 -> int11: the tang is not myrmecophytic.; int5 & int11 -> int12: that that the tang is Tunisian and does not patrol mistrial does not hold is not incorrect.; int4 & int12 -> int13: the tang is not a Tunisian.; int3 & int13 -> int14: the fact that the tang is non-burlesque thing that does revise tang is wrong.; int14 -> int15: there exists something such that the fact that it is not burlesque and it revises tang is not correct.; int15 & sent8 -> int16: the fact that the antitoxin does not revise tang is right.; sent14 & int16 -> int17: that the fell is a kind of a hippopotamus and is a filmdom is wrong.; int17 -> int18: there exists something such that that it is a hippopotamus and it is a filmdom is not true.;
$hypothesis$ = the endoneurium is a filmdom. ; $context$ = sent1: the endoneurium patrols embolism. sent2: if the arrogator patrols piss-up and it is a menorah then it is not a kind of a vocal. sent3: if the arrogator is not vocal it patrols Myrmeleontidae and is a satinet. sent4: the fact that the tang is not myrmecophytic is not incorrect if that the arrogator is Trinidadian and a Melba is false. sent5: the endoneurium is not burlesque. sent6: the endoneurium does revise tang and it is a kind of a hippopotamus. sent7: if the endoneurium is not a kind of a burlesque but it revises tang it is a filmdom. sent8: if there exists something such that that it is non-burlesque thing that revises tang is incorrect then that the antitoxin does not revises tang hold. sent9: the endoneurium is euphonious. sent10: the arrogator does not patrol Phylloscopus if it patrols Myrmeleontidae and it is a satinet. sent11: if the fact that something is a kind of a Tunisian that does not patrol mistrial does not hold it is not a kind of a Tunisian. sent12: the horseleech is a burlesque. sent13: the fact that something is a kind of non-burlesque thing that revises tang does not hold if it is not a Tunisian. sent14: the fact that the fell is a kind of a hippopotamus and it is a filmdom is incorrect if the antitoxin does not revise tang. sent15: the fact that something is a Tunisian but it does not patrol mistrial is not correct if it is not myrmecophytic. sent16: if something does not patrol Phylloscopus the fact that it is a kind of Trinidadian thing that is a Melba does not hold. sent17: the vertex does revise tang. sent18: the arrogator patrols piss-up and is a kind of a menorah. ; $proof$ = 
sent6 -> int1: the endoneurium revises tang.; int1 & sent5 -> int2: the endoneurium is not a burlesque but it does revise tang.; int2 & sent7 -> hypothesis; __PROVED__