the float is not non-menstrual.
sent1: the sister-in-law poultices Gallup if the nipa is perinatal. sent2: The constellation does multiply philomath. sent3: if the sister-in-law does poultice Gallup the conveyancer is seedless. sent4: the stylet is a multitudinousness and/or it is not a kind of a Mendelian if the philomath does multiply constellation. sent5: something that poultices Gallup is a kind of perinatal thing that is not menstrual. sent6: if the conveyancer is seedless the float is menstrual. sent7: if that the nipa is perinatal and is not menstrual is right then the float is not menstrual. sent8: that the stylet is a multitudinousness and/or it is not a Mendelian does not hold if the nipa is not perinatal. sent9: the philomath does multiply constellation.
void -> assump1: Let's assume that the nipa is not perinatal.; sent8 & assump1 -> int1: that the stylet is either a multitudinousness or not Mendelian or both is not true.; sent4 & sent9 -> int2: that the stylet is a kind of a multitudinousness and/or it is not a Mendelian is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the nipa is perinatal hold.; int4 & sent1 -> int5: the sister-in-law poultices Gallup.; int5 & sent3 -> int6: the conveyancer is seedless.; int6 & sent6 -> hypothesis;
the float is not menstrual.
sent5 -> int7: if the nipa does poultice Gallup it is perinatal and it is not menstrual.;
$hypothesis$ = the float is not non-menstrual. ; $context$ = sent1: the sister-in-law poultices Gallup if the nipa is perinatal. sent2: The constellation does multiply philomath. sent3: if the sister-in-law does poultice Gallup the conveyancer is seedless. sent4: the stylet is a multitudinousness and/or it is not a kind of a Mendelian if the philomath does multiply constellation. sent5: something that poultices Gallup is a kind of perinatal thing that is not menstrual. sent6: if the conveyancer is seedless the float is menstrual. sent7: if that the nipa is perinatal and is not menstrual is right then the float is not menstrual. sent8: that the stylet is a multitudinousness and/or it is not a Mendelian does not hold if the nipa is not perinatal. sent9: the philomath does multiply constellation. ; $proof$ = 
void -> assump1: Let's assume that the nipa is not perinatal.; sent8 & assump1 -> int1: that the stylet is either a multitudinousness or not Mendelian or both is not true.; sent4 & sent9 -> int2: that the stylet is a kind of a multitudinousness and/or it is not a Mendelian is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the nipa is perinatal hold.; int4 & sent1 -> int5: the sister-in-law poultices Gallup.; int5 & sent3 -> int6: the conveyancer is seedless.; int6 & sent6 -> hypothesis; __PROVED__