the osmium is not cryogenics.
sent1: if something ammoniates DINK then it is not a Helmholtz. sent2: if the fact that something is both susceptible and not thyrotoxic does not hold the fact that it is not susceptible is correct. sent3: the fact that the willow is not a Slovenian but it does clank jaw is not true. sent4: if the fact that the willow is not Slovenian but it does clank jaw is not right it is not an interregnum. sent5: if the fact that something is not a bootee and ammoniates dogma is not correct then it is not thyrotoxic. sent6: if something does not ammoniate DINK then it is non-cryogenics and it is not inefficacious. sent7: if the fact that the pollinium is archipelagic or it is inboard or both is not correct the decumary is not thyrotoxic. sent8: something is a MOT if it does knock. sent9: if a MOT is not thyrotoxic the decumary is not archipelagic. sent10: the fact that the yoke is not unsusceptible and not thyrotoxic is false. sent11: the ironwork does not ammoniate missile. sent12: the pollinium stones memorial. sent13: that something is a Helmholtz and/or it is thyrotoxic does not hold if it is not a MOT. sent14: the pollinium is not inboard. sent15: if that the decumary is not archipelagic is not wrong that the pollinium is non-inboard thing that is a kind of a Helmholtz is incorrect. sent16: if something is cryogenics it is not inboard. sent17: the willow knocks and it is paradigmatic if it is not an interregnum. sent18: the osmium is not a kind of a MOT but it is cryogenics if there are non-thyrotoxic things. sent19: something does ammoniate DINK and is not inefficacious if it is not a Helmholtz. sent20: the low does knock if the willow knock. sent21: the fact that the pollinium is inefficacious and/or it does not ammoniate DINK is not correct. sent22: if something is not a Helmholtz the fact that it is archipelagic and/or is not outboard does not hold.
void -> assump1: Let's assume that the pollinium does not ammoniate DINK.; assump1 -> int1: the pollinium is inefficacious and/or it does not ammoniate DINK.; int1 & sent21 -> int2: this is contradiction.; [assump1] & int2 -> int3: the pollinium ammoniates DINK.; sent1 -> int4: the pollinium is not a kind of a Helmholtz if it ammoniates DINK.; int3 & int4 -> int5: the fact that the pollinium is not a kind of a Helmholtz is not incorrect.; sent22 -> int6: the fact that either the pollinium is archipelagic or it is inboard or both is false if it is not a kind of a Helmholtz.; int5 & int6 -> int7: that the pollinium is archipelagic or it is inboard or both is not correct.; int7 & sent7 -> int8: the decumary is not thyrotoxic.; int8 -> int9: there is something such that it is not thyrotoxic.; int9 & sent18 -> int10: the osmium is not a MOT and is cryogenics.; int10 -> hypothesis;
the osmium is not cryogenics.
sent6 -> int11: if the osmium does not ammoniate DINK it is not cryogenics and it is efficacious.; sent8 -> int12: if the low does knock it is a kind of a MOT.; sent4 & sent3 -> int13: the willow is not an interregnum.; sent17 & int13 -> int14: the willow is both a knock and paradigmatic.; int14 -> int15: the willow does knock.; sent20 & int15 -> int16: the low does knock.; int12 & int16 -> int17: the low is a kind of a MOT.; sent5 -> int18: if the fact that the low is not a kind of a bootee but it does ammoniate dogma is wrong then it is not thyrotoxic.; sent11 -> int19: there exists something such that it does not ammoniate missile.;
$hypothesis$ = the osmium is not cryogenics. ; $context$ = sent1: if something ammoniates DINK then it is not a Helmholtz. sent2: if the fact that something is both susceptible and not thyrotoxic does not hold the fact that it is not susceptible is correct. sent3: the fact that the willow is not a Slovenian but it does clank jaw is not true. sent4: if the fact that the willow is not Slovenian but it does clank jaw is not right it is not an interregnum. sent5: if the fact that something is not a bootee and ammoniates dogma is not correct then it is not thyrotoxic. sent6: if something does not ammoniate DINK then it is non-cryogenics and it is not inefficacious. sent7: if the fact that the pollinium is archipelagic or it is inboard or both is not correct the decumary is not thyrotoxic. sent8: something is a MOT if it does knock. sent9: if a MOT is not thyrotoxic the decumary is not archipelagic. sent10: the fact that the yoke is not unsusceptible and not thyrotoxic is false. sent11: the ironwork does not ammoniate missile. sent12: the pollinium stones memorial. sent13: that something is a Helmholtz and/or it is thyrotoxic does not hold if it is not a MOT. sent14: the pollinium is not inboard. sent15: if that the decumary is not archipelagic is not wrong that the pollinium is non-inboard thing that is a kind of a Helmholtz is incorrect. sent16: if something is cryogenics it is not inboard. sent17: the willow knocks and it is paradigmatic if it is not an interregnum. sent18: the osmium is not a kind of a MOT but it is cryogenics if there are non-thyrotoxic things. sent19: something does ammoniate DINK and is not inefficacious if it is not a Helmholtz. sent20: the low does knock if the willow knock. sent21: the fact that the pollinium is inefficacious and/or it does not ammoniate DINK is not correct. sent22: if something is not a Helmholtz the fact that it is archipelagic and/or is not outboard does not hold. ; $proof$ = 
void -> assump1: Let's assume that the pollinium does not ammoniate DINK.; assump1 -> int1: the pollinium is inefficacious and/or it does not ammoniate DINK.; int1 & sent21 -> int2: this is contradiction.; [assump1] & int2 -> int3: the pollinium ammoniates DINK.; sent1 -> int4: the pollinium is not a kind of a Helmholtz if it ammoniates DINK.; int3 & int4 -> int5: the fact that the pollinium is not a kind of a Helmholtz is not incorrect.; sent22 -> int6: the fact that either the pollinium is archipelagic or it is inboard or both is false if it is not a kind of a Helmholtz.; int5 & int6 -> int7: that the pollinium is archipelagic or it is inboard or both is not correct.; int7 & sent7 -> int8: the decumary is not thyrotoxic.; int8 -> int9: there is something such that it is not thyrotoxic.; int9 & sent18 -> int10: the osmium is not a MOT and is cryogenics.; int10 -> hypothesis; __DISPROVED__