the masculinization is a niobite.
sent1: something that does not sample Gnosticism is not a PMS. sent2: the fact that the rerebrace is not a kind of a PMS if the isoagglutinogen samples malacopterygian and is not a PMS is true. sent3: if the rerebrace is not undrinkable then it does not sample irreligiousness and it is not a sub-assembly. sent4: the rerebrace is not undrinkable. sent5: there exists something such that that it does double hold. sent6: there is something such that it is a kind of laryngeal thing that is a PMS. sent7: if the isoagglutinogen is not actinic but it strafes then the rerebrace is actinic. sent8: something either samples malacopterygian or does not sample Gnosticism or both if it is actinic. sent9: the isoagglutinogen is not laryngeal but it is a PMS if the rerebrace is not laryngeal. sent10: something is not a PMS if it samples malacopterygian. sent11: if the fact that the isoagglutinogen is bicipital is correct it is non-actinic thing that is a strafe. sent12: there exists something such that it is not laryngeal. sent13: the rerebrace is not a sub-assembly. sent14: the masculinization is a niobite if there exists something such that it is not laryngeal and it is a PMS. sent15: that something is not laryngeal is not false if it does not sample irreligiousness and it is not a sub-assembly. sent16: something is not a kind of a niobite if it is not laryngeal and/or it is undrinkable. sent17: the synchroflash is not undrinkable. sent18: the isoagglutinogen is not laryngeal if the fact that the rerebrace is not laryngeal is right. sent19: the isoagglutinogen is not non-bicipital.
sent3 & sent4 -> int1: the rerebrace does not sample irreligiousness and it is not a sub-assembly.; sent15 -> int2: the rerebrace is non-laryngeal if it does not sample irreligiousness and it is not a sub-assembly.; int1 & int2 -> int3: the rerebrace is not laryngeal.; int3 & sent9 -> int4: the isoagglutinogen is not laryngeal but it is a PMS.; int4 -> int5: there is something such that it is non-laryngeal thing that is a PMS.; int5 & sent14 -> hypothesis;
the Pullman is not a niobite.
$hypothesis$ = the masculinization is a niobite. ; $context$ = sent1: something that does not sample Gnosticism is not a PMS. sent2: the fact that the rerebrace is not a kind of a PMS if the isoagglutinogen samples malacopterygian and is not a PMS is true. sent3: if the rerebrace is not undrinkable then it does not sample irreligiousness and it is not a sub-assembly. sent4: the rerebrace is not undrinkable. sent5: there exists something such that that it does double hold. sent6: there is something such that it is a kind of laryngeal thing that is a PMS. sent7: if the isoagglutinogen is not actinic but it strafes then the rerebrace is actinic. sent8: something either samples malacopterygian or does not sample Gnosticism or both if it is actinic. sent9: the isoagglutinogen is not laryngeal but it is a PMS if the rerebrace is not laryngeal. sent10: something is not a PMS if it samples malacopterygian. sent11: if the fact that the isoagglutinogen is bicipital is correct it is non-actinic thing that is a strafe. sent12: there exists something such that it is not laryngeal. sent13: the rerebrace is not a sub-assembly. sent14: the masculinization is a niobite if there exists something such that it is not laryngeal and it is a PMS. sent15: that something is not laryngeal is not false if it does not sample irreligiousness and it is not a sub-assembly. sent16: something is not a kind of a niobite if it is not laryngeal and/or it is undrinkable. sent17: the synchroflash is not undrinkable. sent18: the isoagglutinogen is not laryngeal if the fact that the rerebrace is not laryngeal is right. sent19: the isoagglutinogen is not non-bicipital. ; $proof$ = 
sent3 & sent4 -> int1: the rerebrace does not sample irreligiousness and it is not a sub-assembly.; sent15 -> int2: the rerebrace is non-laryngeal if it does not sample irreligiousness and it is not a sub-assembly.; int1 & int2 -> int3: the rerebrace is not laryngeal.; int3 & sent9 -> int4: the isoagglutinogen is not laryngeal but it is a PMS.; int4 -> int5: there is something such that it is non-laryngeal thing that is a PMS.; int5 & sent14 -> hypothesis; __PROVED__