the boiling is a kind of supportive thing that is not a shrewishness.
sent1: the sucker is a cornet. sent2: the mealie is not a bandoneon if the boiling is derivational or it does underlie or both. sent3: the sucker is not a kind of a bandoneon and/or it is a kind of a cornet. sent4: something underlies if the fact that it is supportive and it is not a shrewishness is not true. sent5: if the pademelon is a cornet then the sucker is a kind of a cornet. sent6: if the sucker does underlie or it is arenicolous or both then the boiling is not a kind of a bandoneon. sent7: there is something such that that it is Aberdonian and does not edge populism is wrong. sent8: if the boiling is derivational then the mealie is not a bandoneon. sent9: the boiling is a kind of a cornet. sent10: the sucker is arenicolous if the pademelon is arenicolous. sent11: if the pademelon is arenicolous the boiling is arenicolous. sent12: either something is not a bandoneon or it is a cornet or both if it is arenicolous. sent13: either the sucker is not a kind of a bandoneon or it is a kind of a cornet or both if it is arenicolous. sent14: if something is a shrewishness then the fact that it does underlie hold. sent15: if the sucker is a kind of a cornet that the mealie is a bandoneon and does not underlie is not right. sent16: if something is arenicolous then either it is not a bandoneon or it is not a cornet or both. sent17: the pademelon is arenicolous. sent18: if the saltshaker is a kind of an honesty the pademelon is not arenicolous but it is a cornet. sent19: that the boiling is a bandoneon and it does underlie is false.
sent4 -> int1: if the fact that the boiling is supportive but it is not a shrewishness is incorrect it underlies.; void -> assump1: Let's assume that that the boiling is supportive and not a shrewishness is not correct.; int1 & assump1 -> int2: the boiling does underlie.; int2 -> int3: either the boiling is derivational or it underlies or both.; int3 & sent2 -> int4: the mealie is not a bandoneon.; sent16 -> int5: if that the sucker is arenicolous is not wrong either it is not a bandoneon or it is not a cornet or both.; sent10 & sent17 -> int6: the fact that the sucker is arenicolous is true.; int5 & int6 -> int7: the sucker is not a bandoneon or is not a cornet or both.;
the fact that the boiling is supportive but it is not a shrewishness is incorrect.
$hypothesis$ = the boiling is a kind of supportive thing that is not a shrewishness. ; $context$ = sent1: the sucker is a cornet. sent2: the mealie is not a bandoneon if the boiling is derivational or it does underlie or both. sent3: the sucker is not a kind of a bandoneon and/or it is a kind of a cornet. sent4: something underlies if the fact that it is supportive and it is not a shrewishness is not true. sent5: if the pademelon is a cornet then the sucker is a kind of a cornet. sent6: if the sucker does underlie or it is arenicolous or both then the boiling is not a kind of a bandoneon. sent7: there is something such that that it is Aberdonian and does not edge populism is wrong. sent8: if the boiling is derivational then the mealie is not a bandoneon. sent9: the boiling is a kind of a cornet. sent10: the sucker is arenicolous if the pademelon is arenicolous. sent11: if the pademelon is arenicolous the boiling is arenicolous. sent12: either something is not a bandoneon or it is a cornet or both if it is arenicolous. sent13: either the sucker is not a kind of a bandoneon or it is a kind of a cornet or both if it is arenicolous. sent14: if something is a shrewishness then the fact that it does underlie hold. sent15: if the sucker is a kind of a cornet that the mealie is a bandoneon and does not underlie is not right. sent16: if something is arenicolous then either it is not a bandoneon or it is not a cornet or both. sent17: the pademelon is arenicolous. sent18: if the saltshaker is a kind of an honesty the pademelon is not arenicolous but it is a cornet. sent19: that the boiling is a bandoneon and it does underlie is false. ; $proof$ = 
sent4 -> int1: if the fact that the boiling is supportive but it is not a shrewishness is incorrect it underlies.; void -> assump1: Let's assume that that the boiling is supportive and not a shrewishness is not correct.; int1 & assump1 -> int2: the boiling does underlie.; int2 -> int3: either the boiling is derivational or it underlies or both.; int3 & sent2 -> int4: the mealie is not a bandoneon.; sent16 -> int5: if that the sucker is arenicolous is not wrong either it is not a bandoneon or it is not a cornet or both.; sent10 & sent17 -> int6: the fact that the sucker is arenicolous is true.; int5 & int6 -> int7: the sucker is not a bandoneon or is not a cornet or both.; __UNKNOWN__