the mummy unbends seigniory.
sent1: a universal does not unbend seigniory or is not a style or both. sent2: if the calf capers it is a kind of a Gentianaceae. sent3: something is a Gentianaceae. sent4: the calf does style. sent5: the mummy is not intradermal if the chamberlain is a cuneiform. sent6: the pile unbends seigniory. sent7: if the chamberlain is cuneiform then the mummy is a kind of non-intradermal thing that does not unbend requiescat. sent8: the mummy is not a kind of a universal if there is something such that it is a caper and it does unbend seigniory. sent9: if there is something such that it is a universal and it is a Gentianaceae then the scour is not an indifference. sent10: there exists something such that it is a universal. sent11: something does unbend seigniory if it does not unbend requiescat. sent12: something does not unbend seigniory if that it is not a style and it is a universal does not hold. sent13: the chamberlain is a kind of a cuneiform if the scour is not an indifference. sent14: the mummy is not intradermal. sent15: the calf is a universal and a style. sent16: that the mummy is an airway is true if it is syncretic. sent17: the calf capers.
sent15 -> int1: the calf is a kind of a universal.; sent2 & sent17 -> int2: that the calf is a kind of a Gentianaceae is true.; int1 & int2 -> int3: the calf is a kind of a universal and it is a Gentianaceae.; int3 -> int4: there exists something such that it is a universal and it is a Gentianaceae.; int4 & sent9 -> int5: the scour is not a kind of an indifference.; int5 & sent13 -> int6: the chamberlain is a kind of a cuneiform.; int6 & sent7 -> int7: the mummy is not intradermal and it does not unbend requiescat.; int7 -> int8: the mummy does not unbend requiescat.; sent11 -> int9: if the mummy does not unbend requiescat then the fact that it unbends seigniory hold.; int8 & int9 -> hypothesis;
the mummy does not unbend seigniory.
sent12 -> int10: if that the mummy is both not a style and a universal is incorrect then it does not unbend seigniory.;
$hypothesis$ = the mummy unbends seigniory. ; $context$ = sent1: a universal does not unbend seigniory or is not a style or both. sent2: if the calf capers it is a kind of a Gentianaceae. sent3: something is a Gentianaceae. sent4: the calf does style. sent5: the mummy is not intradermal if the chamberlain is a cuneiform. sent6: the pile unbends seigniory. sent7: if the chamberlain is cuneiform then the mummy is a kind of non-intradermal thing that does not unbend requiescat. sent8: the mummy is not a kind of a universal if there is something such that it is a caper and it does unbend seigniory. sent9: if there is something such that it is a universal and it is a Gentianaceae then the scour is not an indifference. sent10: there exists something such that it is a universal. sent11: something does unbend seigniory if it does not unbend requiescat. sent12: something does not unbend seigniory if that it is not a style and it is a universal does not hold. sent13: the chamberlain is a kind of a cuneiform if the scour is not an indifference. sent14: the mummy is not intradermal. sent15: the calf is a universal and a style. sent16: that the mummy is an airway is true if it is syncretic. sent17: the calf capers. ; $proof$ = 
sent15 -> int1: the calf is a kind of a universal.; sent2 & sent17 -> int2: that the calf is a kind of a Gentianaceae is true.; int1 & int2 -> int3: the calf is a kind of a universal and it is a Gentianaceae.; int3 -> int4: there exists something such that it is a universal and it is a Gentianaceae.; int4 & sent9 -> int5: the scour is not a kind of an indifference.; int5 & sent13 -> int6: the chamberlain is a kind of a cuneiform.; int6 & sent7 -> int7: the mummy is not intradermal and it does not unbend requiescat.; int7 -> int8: the mummy does not unbend requiescat.; sent11 -> int9: if the mummy does not unbend requiescat then the fact that it unbends seigniory hold.; int8 & int9 -> hypothesis; __PROVED__