the IUD is not a multiversity.
sent1: if the admiral is a contralto then the IUD is a multiversity. sent2: something is not a kind of a nitrocalcite if it dreams leash. sent3: if the cover is alchemic then it does dream leash. sent4: if the fact that either something is not alchemic or it does smite workstation or both is incorrect then it is not a multiversity. sent5: if that something does smite workstation is not incorrect then the cover is alchemic. sent6: if something is alchemic then the cover does dream sleep. sent7: the cover is not a nitrocalcite. sent8: if that the IUD is a nitrocalcite is true it is a multiversity. sent9: the cover is not cubic if the fact that it is not a peg or is a Orectolobidae or both is not true. sent10: there exists something such that it smites workstation. sent11: if the cover is not cubic then it is a contralto and/or it is a nitrocalcite. sent12: the admiral is a kind of a contralto if the cover is a nitrocalcite and it subdivides. sent13: the admiral is a contralto if the cover is not a nitrocalcite and does subdivide. sent14: something is not a nitrocalcite and subdivides if it does dream leash. sent15: that the cover is not a peg and/or it is a Orectolobidae is false. sent16: something is not alchemic and does dream leash if it is a nitrocalcite. sent17: if the cover dreams leash it is not a kind of a nitrocalcite.
sent10 & sent5 -> int1: the cover is alchemic.; int1 & sent3 -> int2: the cover does dream leash.; sent14 -> int3: if the cover dreams leash it is not a nitrocalcite and it does subdivide.; int2 & int3 -> int4: the cover is not a nitrocalcite but it does subdivide.; int4 & sent13 -> int5: the admiral is a contralto.; int5 & sent1 -> hypothesis;
the IUD is not a multiversity.
sent4 -> int6: if the fact that the IUD is not alchemic or it smites workstation or both is false then it is not a kind of a multiversity.; sent9 & sent15 -> int7: the cover is non-cubic.; sent11 & int7 -> int8: the cover is a kind of a contralto or it is a nitrocalcite or both.;
$hypothesis$ = the IUD is not a multiversity. ; $context$ = sent1: if the admiral is a contralto then the IUD is a multiversity. sent2: something is not a kind of a nitrocalcite if it dreams leash. sent3: if the cover is alchemic then it does dream leash. sent4: if the fact that either something is not alchemic or it does smite workstation or both is incorrect then it is not a multiversity. sent5: if that something does smite workstation is not incorrect then the cover is alchemic. sent6: if something is alchemic then the cover does dream sleep. sent7: the cover is not a nitrocalcite. sent8: if that the IUD is a nitrocalcite is true it is a multiversity. sent9: the cover is not cubic if the fact that it is not a peg or is a Orectolobidae or both is not true. sent10: there exists something such that it smites workstation. sent11: if the cover is not cubic then it is a contralto and/or it is a nitrocalcite. sent12: the admiral is a kind of a contralto if the cover is a nitrocalcite and it subdivides. sent13: the admiral is a contralto if the cover is not a nitrocalcite and does subdivide. sent14: something is not a nitrocalcite and subdivides if it does dream leash. sent15: that the cover is not a peg and/or it is a Orectolobidae is false. sent16: something is not alchemic and does dream leash if it is a nitrocalcite. sent17: if the cover dreams leash it is not a kind of a nitrocalcite. ; $proof$ = 
sent10 & sent5 -> int1: the cover is alchemic.; int1 & sent3 -> int2: the cover does dream leash.; sent14 -> int3: if the cover dreams leash it is not a nitrocalcite and it does subdivide.; int2 & int3 -> int4: the cover is not a nitrocalcite but it does subdivide.; int4 & sent13 -> int5: the admiral is a contralto.; int5 & sent1 -> hypothesis; __DISPROVED__