if the barker is not a waveform then the cut does not reheat Kobe or it is not vigesimal or both.
sent1: the cut does not reheat Kobe and/or it is not non-curly. sent2: if the barker is a waveform the cut either does not reheat Kobe or is non-vigesimal or both. sent3: that the barker is not a postgraduate and not non-vigesimal does not hold. sent4: if the fact that the cut is non-curly thing that does not reheat Kobe is wrong then it is vigesimal. sent5: that the baldachin is non-Nauruan thing that is a quincentennial is incorrect. sent6: the fact that the barker does reheat sawhorse is right. sent7: if the fact that something is not a postgraduate and it is not curly is incorrect the fact that it is a kind of a waveform hold. sent8: the decoction is not curly if that the cut does not reheat Kobe or it is vigesimal or both does not hold. sent9: that the barker is not a postgraduate and it is non-curly does not hold if the decoction is not non-curly. sent10: the fact that the barker does not expectorate but it is a Gnaphalium is false. sent11: the cut is curly and/or it is not a kind of a waveform if the barker is not vigesimal. sent12: if the fact that the cut does not reheat Kobe and/or it is not vigesimal is not right the decoction is not curly. sent13: that the cut is both not curly and not vigesimal does not hold. sent14: the barker is a waveform if it is not non-curly. sent15: if the cut does not reheat Kobe then the decoction is curly and/or it is not a waveform.
void -> assump2: Let's assume that the fact that the cut does not reheat Kobe and/or is not vigesimal is not right.; sent12 & assump2 -> int1: the decoction is non-curly.; int1 & sent9 -> int2: that the barker is both not a postgraduate and non-curly is not true.; sent7 -> int3: if the fact that the barker is not a postgraduate and it is not curly does not hold then it is a waveform.; int2 & int3 -> int4: the barker is a waveform.; void -> assump1: Let's assume that the barker is not a kind of a waveform.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the cut does not reheat Kobe and/or it is not vigesimal.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the barker is not a waveform then the cut does not reheat Kobe or it is not vigesimal or both. ; $context$ = sent1: the cut does not reheat Kobe and/or it is not non-curly. sent2: if the barker is a waveform the cut either does not reheat Kobe or is non-vigesimal or both. sent3: that the barker is not a postgraduate and not non-vigesimal does not hold. sent4: if the fact that the cut is non-curly thing that does not reheat Kobe is wrong then it is vigesimal. sent5: that the baldachin is non-Nauruan thing that is a quincentennial is incorrect. sent6: the fact that the barker does reheat sawhorse is right. sent7: if the fact that something is not a postgraduate and it is not curly is incorrect the fact that it is a kind of a waveform hold. sent8: the decoction is not curly if that the cut does not reheat Kobe or it is vigesimal or both does not hold. sent9: that the barker is not a postgraduate and it is non-curly does not hold if the decoction is not non-curly. sent10: the fact that the barker does not expectorate but it is a Gnaphalium is false. sent11: the cut is curly and/or it is not a kind of a waveform if the barker is not vigesimal. sent12: if the fact that the cut does not reheat Kobe and/or it is not vigesimal is not right the decoction is not curly. sent13: that the cut is both not curly and not vigesimal does not hold. sent14: the barker is a waveform if it is not non-curly. sent15: if the cut does not reheat Kobe then the decoction is curly and/or it is not a waveform. ; $proof$ = 
void -> assump2: Let's assume that the fact that the cut does not reheat Kobe and/or is not vigesimal is not right.; sent12 & assump2 -> int1: the decoction is non-curly.; int1 & sent9 -> int2: that the barker is both not a postgraduate and non-curly is not true.; sent7 -> int3: if the fact that the barker is not a postgraduate and it is not curly does not hold then it is a waveform.; int2 & int3 -> int4: the barker is a waveform.; void -> assump1: Let's assume that the barker is not a kind of a waveform.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the cut does not reheat Kobe and/or it is not vigesimal.; [assump1] & int6 -> hypothesis; __PROVED__