the extinction is commodious.
sent1: if the bedding is not a glomerulus then the fact that it is both non-larval and not deformational is not true. sent2: that something is not a glomerulus but it is maleficent is not true if it is larval. sent3: that the extinction is not commodious is not wrong if it is a glomerulus. sent4: that the crotaphion is not volatile is true. sent5: the crotaphion is not volatile but it is profane if the bedding is a volatile. sent6: if something is deformational the extinction is larval. sent7: the fact that the extinction is a glomerulus that is maleficent is wrong if it is larval. sent8: something that is a glomerulus is not commodious. sent9: the extinction is a kind of non-larval thing that is a volatile if the crotaphion is larval. sent10: that the crotaphion is not a volatile if the bedding is a volatile is correct. sent11: the extinction is larval if something is profane or it is not non-deformational or both. sent12: the bedding is a kind of a volatile if there is something such that it is not a Agee. sent13: there is something such that it is not a Agee. sent14: that the bedding is not larval but a beagle does not hold. sent15: that the crotaphion is not commodious but it is profane does not hold. sent16: something is a kind of a Agee. sent17: the fact that the extinction is a glomerulus that is maleficent is incorrect. sent18: if something is a volatile but it is not a Agee then it is commodious. sent19: that something is both a glomerulus and maleficent is false if it is larval. sent20: the fact that the extinction is a volatile if something is deformational and/or it is a glomerulus is true. sent21: if that something is not a glomerulus but maleficent is false it is not commodious.
sent13 & sent12 -> int1: the bedding is volatile.; int1 & sent5 -> int2: the crotaphion is a kind of nonvolatile thing that is profane.; int2 -> int3: the crotaphion is profane.; int3 -> int4: either the crotaphion is profane or it is deformational or both.; int4 -> int5: there is something such that it is not non-profane and/or it is deformational.; int5 & sent11 -> int6: the extinction is larval.; sent2 -> int7: if the extinction is larval then the fact that it is both not a glomerulus and maleficent is not correct.; int6 & int7 -> int8: the fact that the extinction is not a glomerulus and is maleficent is false.; sent21 -> int9: the extinction is not commodious if that it is not a glomerulus but maleficent is not true.; int8 & int9 -> hypothesis;
the extinction is commodious.
sent18 -> int10: the extinction is commodious if it is volatile thing that is not a Agee.;
$hypothesis$ = the extinction is commodious. ; $context$ = sent1: if the bedding is not a glomerulus then the fact that it is both non-larval and not deformational is not true. sent2: that something is not a glomerulus but it is maleficent is not true if it is larval. sent3: that the extinction is not commodious is not wrong if it is a glomerulus. sent4: that the crotaphion is not volatile is true. sent5: the crotaphion is not volatile but it is profane if the bedding is a volatile. sent6: if something is deformational the extinction is larval. sent7: the fact that the extinction is a glomerulus that is maleficent is wrong if it is larval. sent8: something that is a glomerulus is not commodious. sent9: the extinction is a kind of non-larval thing that is a volatile if the crotaphion is larval. sent10: that the crotaphion is not a volatile if the bedding is a volatile is correct. sent11: the extinction is larval if something is profane or it is not non-deformational or both. sent12: the bedding is a kind of a volatile if there is something such that it is not a Agee. sent13: there is something such that it is not a Agee. sent14: that the bedding is not larval but a beagle does not hold. sent15: that the crotaphion is not commodious but it is profane does not hold. sent16: something is a kind of a Agee. sent17: the fact that the extinction is a glomerulus that is maleficent is incorrect. sent18: if something is a volatile but it is not a Agee then it is commodious. sent19: that something is both a glomerulus and maleficent is false if it is larval. sent20: the fact that the extinction is a volatile if something is deformational and/or it is a glomerulus is true. sent21: if that something is not a glomerulus but maleficent is false it is not commodious. ; $proof$ = 
sent13 & sent12 -> int1: the bedding is volatile.; int1 & sent5 -> int2: the crotaphion is a kind of nonvolatile thing that is profane.; int2 -> int3: the crotaphion is profane.; int3 -> int4: either the crotaphion is profane or it is deformational or both.; int4 -> int5: there is something such that it is not non-profane and/or it is deformational.; int5 & sent11 -> int6: the extinction is larval.; sent2 -> int7: if the extinction is larval then the fact that it is both not a glomerulus and maleficent is not correct.; int6 & int7 -> int8: the fact that the extinction is not a glomerulus and is maleficent is false.; sent21 -> int9: the extinction is not commodious if that it is not a glomerulus but maleficent is not true.; int8 & int9 -> hypothesis; __DISPROVED__