the DISA is non-pediatric but not non-leprous.
sent1: that the bolo is a kind of messianic thing that is a prince's-plume is not correct if the manubrium does not manhandle indium. sent2: if the manubrium is pediatric the fact that it is a kind of unsoured a prince's-plume does not hold. sent3: the manubrium is pediatric if the bolo is pediatric. sent4: something is not a phrontistery and/or is not glad if it is not a antiphonary. sent5: if the jerkin coasts the fact that the fact that the bryophyte does not manhandle intercommunication hold is not true. sent6: the DISA does not grumble dynamo. sent7: if there is something such that the fact that it is a kind of genotypical thing that does not severalize sard does not hold then the DISA is a kind of a soured. sent8: if that something is a phrontistery but not leprous does not hold then it is not glad. sent9: the manubrium does not manhandle indium if the DISA is soured and is pediatric. sent10: if something is glad then that it is a prince's-plume is not wrong. sent11: the fact that the pogonip is both a phrontistery and not leprous is incorrect if the bryophyte is not antiphonary. sent12: if the fact that the joint is messianic and does not manhandle indium is not true then the bolo is not non-pediatric. sent13: the jerkin is pious a coast. sent14: if the bryophyte manhandles intercommunication then the pogonip does not grumble navigability but it does add sard. sent15: if that the DISA does not grumble dynamo is not incorrect then it is a kind of a phrontistery and is leprous. sent16: the fact that the DISA either is not messianic or does not manhandle indium or both is not correct if the manubrium is a kind of a prince's-plume. sent17: if that something is a kind of a antiphonary that is tetragonal is false that it is not a antiphonary is not incorrect. sent18: if something is not a kind of a soured then the fact that it is a kind of non-pediatric thing that is leprous is false. sent19: something is a antiphonary if it is tetragonal. sent20: The dynamo does not grumble DISA. sent21: there is something such that the fact that it is genotypical and does not severalize sard is not correct. sent22: the manubrium is not non-glad if the bolo is not a phrontistery and/or it is not non-glad. sent23: if the fact that the bolo is messianic a prince's-plume is not true the joint is not glad. sent24: the joint is tetragonal. sent25: if something that does not grumble navigability adds sard the joint grumbles dynamo. sent26: the joint is glad if it is a antiphonary. sent27: if the fact that either something is not messianic or it does not manhandle indium or both is false then that it is not a kind of a soured is correct.
sent21 & sent7 -> int1: the DISA is not unsoured.; void -> assump1: Let's assume that the DISA is pediatric.; int1 & assump1 -> int2: the DISA is not unsoured but pediatric.; int2 & sent9 -> int3: that the manubrium does not manhandle indium is true.; int3 & sent1 -> int4: the fact that the bolo is messianic and it is a prince's-plume is incorrect.; int4 & sent23 -> int5: the joint is not glad.; sent19 -> int6: the joint is a kind of a antiphonary if it is tetragonal.; int6 & sent24 -> int7: the joint is a kind of a antiphonary.; sent26 & int7 -> int8: the fact that the joint is glad is not false.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the DISA is not pediatric.; sent15 & sent6 -> int11: the DISA is a kind of a phrontistery that is leprous.; int11 -> int12: the DISA is leprous.; int10 & int12 -> hypothesis;
the fact that the DISA is both not pediatric and leprous is incorrect.
sent18 -> int13: the fact that the DISA is not pediatric and is not non-leprous is not true if it is not a soured.; sent27 -> int14: if the fact that the DISA is not messianic or it does not manhandle indium or both is not right it does not sour.; sent10 -> int15: the manubrium is a prince's-plume if it is glad.; sent4 -> int16: the bolo is not a phrontistery and/or is not glad if it is not antiphonary.; sent17 -> int17: if that that the bolo is antiphonary and it is tetragonal is not correct is right then it is not a antiphonary.; sent13 -> int18: the jerkin coasts.; sent5 & int18 -> int19: the bryophyte does manhandle intercommunication.; sent14 & int19 -> int20: the pogonip does not grumble navigability and does add sard.; int20 -> int21: there exists something such that it does not grumble navigability and adds sard.; int21 & sent25 -> int22: the joint does grumble dynamo.; int22 -> int23: there is something such that it grumbles dynamo.;
$hypothesis$ = the DISA is non-pediatric but not non-leprous. ; $context$ = sent1: that the bolo is a kind of messianic thing that is a prince's-plume is not correct if the manubrium does not manhandle indium. sent2: if the manubrium is pediatric the fact that it is a kind of unsoured a prince's-plume does not hold. sent3: the manubrium is pediatric if the bolo is pediatric. sent4: something is not a phrontistery and/or is not glad if it is not a antiphonary. sent5: if the jerkin coasts the fact that the fact that the bryophyte does not manhandle intercommunication hold is not true. sent6: the DISA does not grumble dynamo. sent7: if there is something such that the fact that it is a kind of genotypical thing that does not severalize sard does not hold then the DISA is a kind of a soured. sent8: if that something is a phrontistery but not leprous does not hold then it is not glad. sent9: the manubrium does not manhandle indium if the DISA is soured and is pediatric. sent10: if something is glad then that it is a prince's-plume is not wrong. sent11: the fact that the pogonip is both a phrontistery and not leprous is incorrect if the bryophyte is not antiphonary. sent12: if the fact that the joint is messianic and does not manhandle indium is not true then the bolo is not non-pediatric. sent13: the jerkin is pious a coast. sent14: if the bryophyte manhandles intercommunication then the pogonip does not grumble navigability but it does add sard. sent15: if that the DISA does not grumble dynamo is not incorrect then it is a kind of a phrontistery and is leprous. sent16: the fact that the DISA either is not messianic or does not manhandle indium or both is not correct if the manubrium is a kind of a prince's-plume. sent17: if that something is a kind of a antiphonary that is tetragonal is false that it is not a antiphonary is not incorrect. sent18: if something is not a kind of a soured then the fact that it is a kind of non-pediatric thing that is leprous is false. sent19: something is a antiphonary if it is tetragonal. sent20: The dynamo does not grumble DISA. sent21: there is something such that the fact that it is genotypical and does not severalize sard is not correct. sent22: the manubrium is not non-glad if the bolo is not a phrontistery and/or it is not non-glad. sent23: if the fact that the bolo is messianic a prince's-plume is not true the joint is not glad. sent24: the joint is tetragonal. sent25: if something that does not grumble navigability adds sard the joint grumbles dynamo. sent26: the joint is glad if it is a antiphonary. sent27: if the fact that either something is not messianic or it does not manhandle indium or both is false then that it is not a kind of a soured is correct. ; $proof$ = 
sent21 & sent7 -> int1: the DISA is not unsoured.; void -> assump1: Let's assume that the DISA is pediatric.; int1 & assump1 -> int2: the DISA is not unsoured but pediatric.; int2 & sent9 -> int3: that the manubrium does not manhandle indium is true.; int3 & sent1 -> int4: the fact that the bolo is messianic and it is a prince's-plume is incorrect.; int4 & sent23 -> int5: the joint is not glad.; sent19 -> int6: the joint is a kind of a antiphonary if it is tetragonal.; int6 & sent24 -> int7: the joint is a kind of a antiphonary.; sent26 & int7 -> int8: the fact that the joint is glad is not false.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the DISA is not pediatric.; sent15 & sent6 -> int11: the DISA is a kind of a phrontistery that is leprous.; int11 -> int12: the DISA is leprous.; int10 & int12 -> hypothesis; __PROVED__