that the trouser is not ictal but it is a domed does not hold.
sent1: the strangler is a kind of a Paprilus. sent2: if the fact that the Neandertal is a marquee hold then the arborist is a marquee. sent3: the trouser is not ictal if the fact that that the promethium nettles xanthine and is ictal is not wrong is incorrect. sent4: if something is not a Paprilus then the fact that it nettles xanthine and is ictal does not hold. sent5: if the arborist parches syndicalism it is a midnight. sent6: the Neandertal is a marquee. sent7: if the arborist is a marquee and is a kind of a midnight the promethium does not caddie. sent8: something is muciferous. sent9: the promethium is a midnight or it caddies or both if it is not a kind of a marquee. sent10: if something is not a caddie then that it does not disobey honker and it is a Paprilus is wrong. sent11: the trouser is a kind of a Paprilus if the strangler is a Paprilus. sent12: the website is a Paprilus. sent13: the trouser is a domed. sent14: if that the trouser is a kind of non-ictal thing that is a domed does not hold it is not a kind of a Paprilus. sent15: if the promethium is not a Paprilus then the strangler is ictal and it does nettle xanthine. sent16: something is not a Paprilus if the fact that it does not disobey honker and it is a Paprilus is wrong. sent17: if the promethium disobeys honker then it is not a Paprilus.
void -> assump1: Let's assume that that that the trouser is not ictal and is a kind of a domed is not true is true.; sent14 & assump1 -> int1: the trouser is not a Paprilus.; sent11 & sent1 -> int2: the trouser is a Paprilus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
that the trouser is not ictal but it is a domed is incorrect.
sent16 -> int4: if the fact that the promethium does not disobey honker and is a Paprilus is false the fact that it is not a kind of a Paprilus is right.; sent10 -> int5: if the promethium does not caddie that it does not disobey honker and is a Paprilus is wrong.; sent2 & sent6 -> int6: the fact that the arborist is a marquee is true.;
$hypothesis$ = that the trouser is not ictal but it is a domed does not hold. ; $context$ = sent1: the strangler is a kind of a Paprilus. sent2: if the fact that the Neandertal is a marquee hold then the arborist is a marquee. sent3: the trouser is not ictal if the fact that that the promethium nettles xanthine and is ictal is not wrong is incorrect. sent4: if something is not a Paprilus then the fact that it nettles xanthine and is ictal does not hold. sent5: if the arborist parches syndicalism it is a midnight. sent6: the Neandertal is a marquee. sent7: if the arborist is a marquee and is a kind of a midnight the promethium does not caddie. sent8: something is muciferous. sent9: the promethium is a midnight or it caddies or both if it is not a kind of a marquee. sent10: if something is not a caddie then that it does not disobey honker and it is a Paprilus is wrong. sent11: the trouser is a kind of a Paprilus if the strangler is a Paprilus. sent12: the website is a Paprilus. sent13: the trouser is a domed. sent14: if that the trouser is a kind of non-ictal thing that is a domed does not hold it is not a kind of a Paprilus. sent15: if the promethium is not a Paprilus then the strangler is ictal and it does nettle xanthine. sent16: something is not a Paprilus if the fact that it does not disobey honker and it is a Paprilus is wrong. sent17: if the promethium disobeys honker then it is not a Paprilus. ; $proof$ = 
void -> assump1: Let's assume that that that the trouser is not ictal and is a kind of a domed is not true is true.; sent14 & assump1 -> int1: the trouser is not a Paprilus.; sent11 & sent1 -> int2: the trouser is a Paprilus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__