the dinky is Chian.
sent1: if something abbreviates the Indian is not proprietary. sent2: the fact that the fireguard is not follicular hold if there exists something such that the fact that it does not kidnap dinky and is not a kind of a melanoblast does not hold. sent3: there is something such that it is not interstitial. sent4: if the fact that the armory kidnaps dinky and/or does not abbreviate is incorrect then the Indian is not a macrame. sent5: the fact that the Down kidnaps dinky or is not follicular or both does not hold. sent6: the fact that the Down does not kidnap dinky and it is not a kind of a melanoblast is incorrect if the viscounty is colloidal. sent7: the fireguard is not a kind of a melanoblast. sent8: the dinky is not Chian if that the Indian is proprietary or it does not abbreviate or both is not correct. sent9: that the viscounty is not a macrame but colloidal is wrong. sent10: there exists something such that that it does not individuate nafcillin is right. sent11: something abbreviates. sent12: if something that does macrame is not parturient the viscounty is colloidal. sent13: the armory macrames but it is not parturient if there exists something such that it is not interstitial. sent14: that the Down does not kidnap dinky but it is colloidal is not right if the fireguard is not a melanoblast. sent15: if that something macrames and it is interstitial is incorrect it does not individuate bend. sent16: if the fireguard is not follicular the fact that the Indian is not nonproprietary or it does not abbreviate or both does not hold.
sent3 & sent13 -> int1: the armory does macrame but it is not parturient.; int1 -> int2: there is something such that it is a macrame but not parturient.; int2 & sent12 -> int3: that the viscounty is colloidal is not incorrect.; sent6 & int3 -> int4: that the Down does not kidnap dinky and it is not a kind of a melanoblast is not right.; int4 -> int5: there is something such that that it does not kidnap dinky and is not a melanoblast is not correct.; int5 & sent2 -> int6: the fireguard is non-follicular.; sent16 & int6 -> int7: that the Indian is proprietary and/or it does not abbreviate is false.; sent8 & int7 -> hypothesis;
there exists something such that it does not individuate bend.
sent15 -> int8: if that the armory is a macrame and it is interstitial is not correct it does not individuate bend.; sent14 & sent7 -> int9: the fact that the Down does not kidnap dinky but it is colloidal is not true.; int9 -> int10: there exists something such that the fact that it does not kidnap dinky and it is colloidal does not hold.;
$hypothesis$ = the dinky is Chian. ; $context$ = sent1: if something abbreviates the Indian is not proprietary. sent2: the fact that the fireguard is not follicular hold if there exists something such that the fact that it does not kidnap dinky and is not a kind of a melanoblast does not hold. sent3: there is something such that it is not interstitial. sent4: if the fact that the armory kidnaps dinky and/or does not abbreviate is incorrect then the Indian is not a macrame. sent5: the fact that the Down kidnaps dinky or is not follicular or both does not hold. sent6: the fact that the Down does not kidnap dinky and it is not a kind of a melanoblast is incorrect if the viscounty is colloidal. sent7: the fireguard is not a kind of a melanoblast. sent8: the dinky is not Chian if that the Indian is proprietary or it does not abbreviate or both is not correct. sent9: that the viscounty is not a macrame but colloidal is wrong. sent10: there exists something such that that it does not individuate nafcillin is right. sent11: something abbreviates. sent12: if something that does macrame is not parturient the viscounty is colloidal. sent13: the armory macrames but it is not parturient if there exists something such that it is not interstitial. sent14: that the Down does not kidnap dinky but it is colloidal is not right if the fireguard is not a melanoblast. sent15: if that something macrames and it is interstitial is incorrect it does not individuate bend. sent16: if the fireguard is not follicular the fact that the Indian is not nonproprietary or it does not abbreviate or both does not hold. ; $proof$ = 
sent3 & sent13 -> int1: the armory does macrame but it is not parturient.; int1 -> int2: there is something such that it is a macrame but not parturient.; int2 & sent12 -> int3: that the viscounty is colloidal is not incorrect.; sent6 & int3 -> int4: that the Down does not kidnap dinky and it is not a kind of a melanoblast is not right.; int4 -> int5: there is something such that that it does not kidnap dinky and is not a melanoblast is not correct.; int5 & sent2 -> int6: the fireguard is non-follicular.; sent16 & int6 -> int7: that the Indian is proprietary and/or it does not abbreviate is false.; sent8 & int7 -> hypothesis; __DISPROVED__