the impersonator is not a literati.
sent1: if the fore-and-after does not bank categorem either the high-rise is not lexical or it is an opium or both. sent2: there is something such that that it does shrivel and/or it perseverates foundering is correct. sent3: the fore-and-after is a kind of a Uma. sent4: the Acular does not mortify and/or is not unfashionable if the Aryan is not a Dromaeosauridae. sent5: if the Aryan is not a Dromaeosauridae then either the Acular does mortify or it is not unfashionable or both. sent6: if the Acular does not mortify then the Aryan is either not a Dromaeosauridae or a Uma or both. sent7: something is lexical or it is an opium or both. sent8: if something is not lexical or an opium or both then the Aryan is not a kind of a Dromaeosauridae. sent9: the Acular either does mortify or is not unfashionable or both. sent10: the fact that the Aryan is not a Dromaeosauridae is true if something is a kind of an opium. sent11: if the Acular does not mortify and/or it is not unfashionable then the impersonator is a kind of a literati. sent12: the fore-and-after suggests eoraptor and is a Uma. sent13: the fact that the high-rise is not lexical and/or it is a Uma is not wrong. sent14: if the Acular does not mortify then the impersonator is a literati. sent15: if something does suggest eoraptor and is a Uma then it does not bank categorem. sent16: something is not a kind of a literati if that it is both a literati and not an opium is wrong.
sent15 -> int1: if the fore-and-after does suggest eoraptor and it is a Uma then it does not bank categorem.; int1 & sent12 -> int2: the fore-and-after does not bank categorem.; int2 & sent1 -> int3: the high-rise is not lexical and/or is an opium.; int3 -> int4: something is not lexical or is a kind of an opium or both.; int4 & sent8 -> int5: the Aryan is not a Dromaeosauridae.; int5 & sent4 -> int6: the Acular either does not mortify or is not unfashionable or both.; int6 & sent11 -> hypothesis;
the impersonator is not a kind of a literati.
sent16 -> int7: that the impersonator is not a literati is right if the fact that the fact that it is a literati and is not an opium is not false does not hold.;
$hypothesis$ = the impersonator is not a literati. ; $context$ = sent1: if the fore-and-after does not bank categorem either the high-rise is not lexical or it is an opium or both. sent2: there is something such that that it does shrivel and/or it perseverates foundering is correct. sent3: the fore-and-after is a kind of a Uma. sent4: the Acular does not mortify and/or is not unfashionable if the Aryan is not a Dromaeosauridae. sent5: if the Aryan is not a Dromaeosauridae then either the Acular does mortify or it is not unfashionable or both. sent6: if the Acular does not mortify then the Aryan is either not a Dromaeosauridae or a Uma or both. sent7: something is lexical or it is an opium or both. sent8: if something is not lexical or an opium or both then the Aryan is not a kind of a Dromaeosauridae. sent9: the Acular either does mortify or is not unfashionable or both. sent10: the fact that the Aryan is not a Dromaeosauridae is true if something is a kind of an opium. sent11: if the Acular does not mortify and/or it is not unfashionable then the impersonator is a kind of a literati. sent12: the fore-and-after suggests eoraptor and is a Uma. sent13: the fact that the high-rise is not lexical and/or it is a Uma is not wrong. sent14: if the Acular does not mortify then the impersonator is a literati. sent15: if something does suggest eoraptor and is a Uma then it does not bank categorem. sent16: something is not a kind of a literati if that it is both a literati and not an opium is wrong. ; $proof$ = 
sent15 -> int1: if the fore-and-after does suggest eoraptor and it is a Uma then it does not bank categorem.; int1 & sent12 -> int2: the fore-and-after does not bank categorem.; int2 & sent1 -> int3: the high-rise is not lexical and/or is an opium.; int3 -> int4: something is not lexical or is a kind of an opium or both.; int4 & sent8 -> int5: the Aryan is not a Dromaeosauridae.; int5 & sent4 -> int6: the Acular either does not mortify or is not unfashionable or both.; int6 & sent11 -> hypothesis; __DISPROVED__