the fact that there exists something such that if it does not whack it is not orthopedic and it spends is not true.
sent1: that the gizzard is a kind of non-orthopedic thing that is Platonic is false. sent2: that the insufflation is diadromous and whacks is not true. sent3: the nose is a strung if something that is a kind of a whacked is a kind of a genus. sent4: if something is a Psyche then that the Bunsen does pole Esox and it is a palimpsest is not true. sent5: if something does pole wanderer then the Jihadist is a Psyche but it is not big. sent6: if something is a strung then that it is a kind of non-orthopedic thing that does pole insufflation is not correct. sent7: the insufflation is not a kind of a congregant. sent8: there is something such that if it does not whack then it is not orthopedic. sent9: the insufflation spends. sent10: there exists something such that if it is not a vibration it is a langbeinite and it is cross-linguistic. sent11: if that the fact that the insufflation is a kind of orthopedic thing that spends is not true hold it whacks. sent12: if that something does pole Esox and is a palimpsest does not hold it does not pole nose. sent13: something poles wanderer. sent14: the fact that the sticker is not a kind of a Padda and is orthopedic is not correct. sent15: the insufflation is a whacked if it is not orthopedic and it does spend. sent16: if the fact that the fact that the insufflation is a kind of non-orthopedic thing that does spend hold is wrong it does whack.
void -> assump2: Let's assume that that the insufflation is not orthopedic but it does spend is false.; sent16 & assump2 -> int1: the insufflation is a whacked.; void -> assump1: Let's assume that the insufflation does not whack.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the insufflation is not orthopedic and does spend.; [assump1] & int3 -> int4: the insufflation is non-orthopedic thing that spends if it is not a whacked.; int4 -> hypothesis;
the fact that the nose is not orthopedic and poles insufflation does not hold.
sent6 -> int5: the fact that the nose is not orthopedic and poles insufflation does not hold if it is a kind of a strung.; sent12 -> int6: the Bunsen does not pole nose if that it poles Esox and it is a kind of a palimpsest is not true.; sent13 & sent5 -> int7: the Jihadist is both a Psyche and not big.; int7 -> int8: the Jihadist is a kind of a Psyche.; int8 -> int9: something is a Psyche.; int9 & sent4 -> int10: that the Bunsen poles Esox and it is a palimpsest is wrong.; int6 & int10 -> int11: the Bunsen does not pole nose.; int11 -> int12: there exists something such that it does not pole nose.;
$hypothesis$ = the fact that there exists something such that if it does not whack it is not orthopedic and it spends is not true. ; $context$ = sent1: that the gizzard is a kind of non-orthopedic thing that is Platonic is false. sent2: that the insufflation is diadromous and whacks is not true. sent3: the nose is a strung if something that is a kind of a whacked is a kind of a genus. sent4: if something is a Psyche then that the Bunsen does pole Esox and it is a palimpsest is not true. sent5: if something does pole wanderer then the Jihadist is a Psyche but it is not big. sent6: if something is a strung then that it is a kind of non-orthopedic thing that does pole insufflation is not correct. sent7: the insufflation is not a kind of a congregant. sent8: there is something such that if it does not whack then it is not orthopedic. sent9: the insufflation spends. sent10: there exists something such that if it is not a vibration it is a langbeinite and it is cross-linguistic. sent11: if that the fact that the insufflation is a kind of orthopedic thing that spends is not true hold it whacks. sent12: if that something does pole Esox and is a palimpsest does not hold it does not pole nose. sent13: something poles wanderer. sent14: the fact that the sticker is not a kind of a Padda and is orthopedic is not correct. sent15: the insufflation is a whacked if it is not orthopedic and it does spend. sent16: if the fact that the fact that the insufflation is a kind of non-orthopedic thing that does spend hold is wrong it does whack. ; $proof$ = 
void -> assump2: Let's assume that that the insufflation is not orthopedic but it does spend is false.; sent16 & assump2 -> int1: the insufflation is a whacked.; void -> assump1: Let's assume that the insufflation does not whack.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the insufflation is not orthopedic and does spend.; [assump1] & int3 -> int4: the insufflation is non-orthopedic thing that spends if it is not a whacked.; int4 -> hypothesis; __DISPROVED__