the spinnaker does uncork amniote.
sent1: if that the spinnaker does narrate cobaltite but it is not appointive is not true then it is not an encephalopathy. sent2: if the spinnaker is not an encephalopathy then the fact that it uncorks amniote is true. sent3: if the midrib is not a Namibian then the darts uncorks nawab and it is liliaceous. sent4: there exists something such that that it is both not a balmoral and not exchangeable is not right. sent5: that the grunt is not non-bicipital and not the Namibian if the grunt is warming hold. sent6: if the darts is liliaceous the gametophyte is a slit. sent7: the fact that the spinnaker is not a kind of a zany and it is not a kind of an encephalopathy is not right if the liza is a Pinter. sent8: the fact that something does not uncork amniote and is not a zany does not hold if it is not an encephalopathy. sent9: the spinnaker is a kind of a zany. sent10: if that the spinnaker is not a zany and it is not an encephalopathy does not hold the cobaltite does not uncork amniote. sent11: if there exists something such that the fact that it is both not a balmoral and not exchangeable is wrong the grunt is warming. sent12: the fact that if that the liza does not uncork amniote and it is not a zany does not hold the spinnaker does not uncork amniote hold. sent13: if something is a slit then it is not a Pinter and/or it is not an anxiety. sent14: that if either the gametophyte is not a Pinter or it is not an anxiety or both then the liza is not an encephalopathy is correct. sent15: the midrib is not a Namibian if the fact that the disk does not bind aftertaste and is a Namibian is false. sent16: if the spinnaker is a zany then that that it narrates cobaltite and is not appointive is not wrong does not hold.
sent16 & sent9 -> int1: that the spinnaker does narrate cobaltite but it is non-appointive is wrong.; int1 & sent1 -> int2: the spinnaker is not an encephalopathy.; int2 & sent2 -> hypothesis;
the cobaltite does not uncork amniote.
$hypothesis$ = the spinnaker does uncork amniote. ; $context$ = sent1: if that the spinnaker does narrate cobaltite but it is not appointive is not true then it is not an encephalopathy. sent2: if the spinnaker is not an encephalopathy then the fact that it uncorks amniote is true. sent3: if the midrib is not a Namibian then the darts uncorks nawab and it is liliaceous. sent4: there exists something such that that it is both not a balmoral and not exchangeable is not right. sent5: that the grunt is not non-bicipital and not the Namibian if the grunt is warming hold. sent6: if the darts is liliaceous the gametophyte is a slit. sent7: the fact that the spinnaker is not a kind of a zany and it is not a kind of an encephalopathy is not right if the liza is a Pinter. sent8: the fact that something does not uncork amniote and is not a zany does not hold if it is not an encephalopathy. sent9: the spinnaker is a kind of a zany. sent10: if that the spinnaker is not a zany and it is not an encephalopathy does not hold the cobaltite does not uncork amniote. sent11: if there exists something such that the fact that it is both not a balmoral and not exchangeable is wrong the grunt is warming. sent12: the fact that if that the liza does not uncork amniote and it is not a zany does not hold the spinnaker does not uncork amniote hold. sent13: if something is a slit then it is not a Pinter and/or it is not an anxiety. sent14: that if either the gametophyte is not a Pinter or it is not an anxiety or both then the liza is not an encephalopathy is correct. sent15: the midrib is not a Namibian if the fact that the disk does not bind aftertaste and is a Namibian is false. sent16: if the spinnaker is a zany then that that it narrates cobaltite and is not appointive is not wrong does not hold. ; $proof$ = 
sent16 & sent9 -> int1: that the spinnaker does narrate cobaltite but it is non-appointive is wrong.; int1 & sent1 -> int2: the spinnaker is not an encephalopathy.; int2 & sent2 -> hypothesis; __PROVED__