the chat is not a kind of a whiting.
sent1: the Hereford is a kind of a waveguide and it is a kind of a pauper. sent2: the chat spirals self-discovery and is not a kind of a home if that the macadam is non-whiting is correct. sent3: if something does not jibe then it does spiral sundowner or it does not strangulate or both. sent4: the Hereford does not jibe if it is a waveguide. sent5: the disinflation is not a Palestinian and does deflate immunocompetence if the nitrobacterium is a rib. sent6: the chat is a musical. sent7: if something does spiral self-discovery then it spirals Diegueno. sent8: that the sundowner does not strangulate hold if either the Hereford does spiral sundowner or it does not strangulate or both. sent9: if the macadam does not spiral self-discovery it is a kind of a home. sent10: the macadam is not a home. sent11: if there exists something such that it does not strangulate the nitrobacterium ribs and does deflate amoralism. sent12: the macadam is a whiting. sent13: if the dottle does spiral self-discovery then that the macadam is non-home but it is a kind of a whiting is not right. sent14: the chat is not a kind of a whiting if that the macadam is a kind of non-home thing that is a whiting does not hold. sent15: if the macadam does spiral self-discovery then the chat is a kind of a whiting. sent16: if something is non-Palestinian thing that deflates immunocompetence then the mesothelium does not deflate reclassification.
void -> assump1: Let's assume that the macadam does not spiral self-discovery.; sent9 & assump1 -> int1: the macadam homes.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the macadam spirals self-discovery.; int3 & sent15 -> hypothesis;
the chat does spiral Diegueno.
sent7 -> int4: the chat spirals Diegueno if it does spiral self-discovery.;
$hypothesis$ = the chat is not a kind of a whiting. ; $context$ = sent1: the Hereford is a kind of a waveguide and it is a kind of a pauper. sent2: the chat spirals self-discovery and is not a kind of a home if that the macadam is non-whiting is correct. sent3: if something does not jibe then it does spiral sundowner or it does not strangulate or both. sent4: the Hereford does not jibe if it is a waveguide. sent5: the disinflation is not a Palestinian and does deflate immunocompetence if the nitrobacterium is a rib. sent6: the chat is a musical. sent7: if something does spiral self-discovery then it spirals Diegueno. sent8: that the sundowner does not strangulate hold if either the Hereford does spiral sundowner or it does not strangulate or both. sent9: if the macadam does not spiral self-discovery it is a kind of a home. sent10: the macadam is not a home. sent11: if there exists something such that it does not strangulate the nitrobacterium ribs and does deflate amoralism. sent12: the macadam is a whiting. sent13: if the dottle does spiral self-discovery then that the macadam is non-home but it is a kind of a whiting is not right. sent14: the chat is not a kind of a whiting if that the macadam is a kind of non-home thing that is a whiting does not hold. sent15: if the macadam does spiral self-discovery then the chat is a kind of a whiting. sent16: if something is non-Palestinian thing that deflates immunocompetence then the mesothelium does not deflate reclassification. ; $proof$ = 
void -> assump1: Let's assume that the macadam does not spiral self-discovery.; sent9 & assump1 -> int1: the macadam homes.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the macadam spirals self-discovery.; int3 & sent15 -> hypothesis; __DISPROVED__