that the conidiophore tarnishes Catostomus and/or is a kind of a woodhewer is not true.
sent1: the Pompadour is either a fiction or a boatswain or both if it is not faecal. sent2: if something is a bunco it is unpermissive. sent3: if the employee is not a kind of a mariner the leaflet is a kind of non-transoceanic thing that does not tarnish Catostomus. sent4: the conidiophore is a woodhewer and it is a differentiator. sent5: if there is something such that it is not a differentiator then that the conidiophore either tarnishes Catostomus or is a woodhewer or both is incorrect. sent6: that the employee is not a mariner is not wrong if there exists something such that it does nag Excellency. sent7: the wheatear is a kind of a bunco if the convector is diastolic. sent8: the conidiophore is a differentiator. sent9: the dishwasher is a woodhewer if the conidiophore is a differentiator. sent10: the Pompadour is non-faecal. sent11: if the Pompadour is a kind of a fiction the Pitman is atomic. sent12: something that is unpermissive does nag Excellency. sent13: something is not a differentiator and it is not transoceanic if it is a kind of a mariner. sent14: the convector is diastolic if there is something such that it is either atomic or diastolic or both. sent15: if the Pompadour is a boatswain the Pitman is atomic.
sent4 -> int1: the conidiophore is a woodhewer.; int1 -> hypothesis;
the dishwasher is a kind of a woodhewer.
sent12 -> int2: the wheatear nags Excellency if it is not permissive.; sent2 -> int3: the wheatear is unpermissive if the fact that it is a kind of a bunco is not wrong.; sent1 & sent10 -> int4: the Pompadour either is a fiction or is a kind of a boatswain or both.; int4 & sent11 & sent15 -> int5: the Pitman is atomic.; int5 -> int6: the Pitman is atomic and/or diastolic.; int6 -> int7: there exists something such that it either is atomic or is diastolic or both.; int7 & sent14 -> int8: the convector is diastolic.; sent7 & int8 -> int9: the wheatear is a kind of a bunco.; int3 & int9 -> int10: the wheatear is unpermissive.; int2 & int10 -> int11: the wheatear nags Excellency.; int11 -> int12: something does nag Excellency.; int12 & sent6 -> int13: the employee is not a kind of a mariner.; sent3 & int13 -> int14: the leaflet is a kind of non-transoceanic thing that does not tarnish Catostomus.; int14 -> int15: the fact that something is not transoceanic and it does not tarnish Catostomus is correct.;
$hypothesis$ = that the conidiophore tarnishes Catostomus and/or is a kind of a woodhewer is not true. ; $context$ = sent1: the Pompadour is either a fiction or a boatswain or both if it is not faecal. sent2: if something is a bunco it is unpermissive. sent3: if the employee is not a kind of a mariner the leaflet is a kind of non-transoceanic thing that does not tarnish Catostomus. sent4: the conidiophore is a woodhewer and it is a differentiator. sent5: if there is something such that it is not a differentiator then that the conidiophore either tarnishes Catostomus or is a woodhewer or both is incorrect. sent6: that the employee is not a mariner is not wrong if there exists something such that it does nag Excellency. sent7: the wheatear is a kind of a bunco if the convector is diastolic. sent8: the conidiophore is a differentiator. sent9: the dishwasher is a woodhewer if the conidiophore is a differentiator. sent10: the Pompadour is non-faecal. sent11: if the Pompadour is a kind of a fiction the Pitman is atomic. sent12: something that is unpermissive does nag Excellency. sent13: something is not a differentiator and it is not transoceanic if it is a kind of a mariner. sent14: the convector is diastolic if there is something such that it is either atomic or diastolic or both. sent15: if the Pompadour is a boatswain the Pitman is atomic. ; $proof$ = 
sent4 -> int1: the conidiophore is a woodhewer.; int1 -> hypothesis; __DISPROVED__