the dowser is bubonic.
sent1: if something is not bubonic and shines sombrero then it is not Australasian. sent2: the coauthor does not shine sombrero or it does not redden Cyrus or both if it is not bubonic. sent3: something is not bubonic and shines sombrero if it does not redden Cyrus. sent4: if the dowser does not redden Cyrus then it is not bubonic and/or it does not shine sombrero. sent5: the dowser does not coat periclase or is bubonic or both. sent6: the dowser does not shine sombrero and/or is bubonic. sent7: the heater does not redden Cyrus if the coauthor does not shine sombrero. sent8: if there is something such that it is not supportive and/or is not attentional the dowser is non-bubonic. sent9: the dowser is not effective. sent10: either the mogul is quantal or it does not redden Cyrus or both. sent11: the spherocyte does not redden Cyrus. sent12: if the coauthor does not redden Cyrus then the heater does not shine sombrero. sent13: if something does not shine sombrero it is not supportive and/or it is not attentional. sent14: the heater is not bubonic and/or does not shine sombrero if it does not redden Cyrus. sent15: The Cyrus does not redden coauthor. sent16: there is something such that it is not bubonic or it does not redden Cyrus or both. sent17: the coauthor does not redden Cyrus. sent18: if something is not bubonic then it either does not shine sombrero or is supportive or both.
sent13 -> int1: if the heater does not shine sombrero then it either is not supportive or is not attentional or both.; sent12 & sent17 -> int2: the heater does not shine sombrero.; int1 & int2 -> int3: the heater is not supportive and/or it is not attentional.; int3 -> int4: there exists something such that it is not supportive and/or it is not attentional.; int4 & sent8 -> hypothesis;
the dowser is non-Australasian.
sent1 -> int5: the fact that the dowser is not Australasian if the dowser is not bubonic and does shine sombrero hold.; sent3 -> int6: if that the dowser does not redden Cyrus is not false it is not bubonic and it shines sombrero.;
$hypothesis$ = the dowser is bubonic. ; $context$ = sent1: if something is not bubonic and shines sombrero then it is not Australasian. sent2: the coauthor does not shine sombrero or it does not redden Cyrus or both if it is not bubonic. sent3: something is not bubonic and shines sombrero if it does not redden Cyrus. sent4: if the dowser does not redden Cyrus then it is not bubonic and/or it does not shine sombrero. sent5: the dowser does not coat periclase or is bubonic or both. sent6: the dowser does not shine sombrero and/or is bubonic. sent7: the heater does not redden Cyrus if the coauthor does not shine sombrero. sent8: if there is something such that it is not supportive and/or is not attentional the dowser is non-bubonic. sent9: the dowser is not effective. sent10: either the mogul is quantal or it does not redden Cyrus or both. sent11: the spherocyte does not redden Cyrus. sent12: if the coauthor does not redden Cyrus then the heater does not shine sombrero. sent13: if something does not shine sombrero it is not supportive and/or it is not attentional. sent14: the heater is not bubonic and/or does not shine sombrero if it does not redden Cyrus. sent15: The Cyrus does not redden coauthor. sent16: there is something such that it is not bubonic or it does not redden Cyrus or both. sent17: the coauthor does not redden Cyrus. sent18: if something is not bubonic then it either does not shine sombrero or is supportive or both. ; $proof$ = 
sent13 -> int1: if the heater does not shine sombrero then it either is not supportive or is not attentional or both.; sent12 & sent17 -> int2: the heater does not shine sombrero.; int1 & int2 -> int3: the heater is not supportive and/or it is not attentional.; int3 -> int4: there exists something such that it is not supportive and/or it is not attentional.; int4 & sent8 -> hypothesis; __DISPROVED__