the drainplug is a kind of a shipway.
sent1: the homestead is a shipway. sent2: if the drainplug is not anaglyphic it is both a lapin and a shipway. sent3: something is close if it distills. sent4: there exists something such that the fact that it is a kind of a shipway and it is not a lapin is wrong. sent5: something sputters Haeckel if it is a diplomate. sent6: the drainplug is a kind of a lapin if it is not anaglyphic. sent7: if something is not a kind of a shipway then that it is not a lapin and is not anaglyphic does not hold. sent8: if something does sputter bohrium the drainplug is not anaglyphic. sent9: if the color is not boronic then the fact that that the spermatophyte does not close and it does not distill is not true is correct. sent10: the furnace is not a shipway if something is close. sent11: if something is close that it is not a lapin and it is not boronic is incorrect. sent12: the drainplug is non-anaglyphic if there is something such that that the fact that it is not a transplant and does not sputter bohrium is correct is false. sent13: if something is not a lapin it is not a kind of a shipway and it is not anaglyphic. sent14: if the fact that something does not close and does not distill is false it does close. sent15: if something sputters Haeckel then it is not boronic. sent16: if there is something such that that it is both not a lapin and not anaglyphic is not correct then the drainplug is not a kind of a transplant. sent17: the furnace does distill if the fact that it sputters Haeckel is not incorrect. sent18: if the furnace is anaglyphic and is not a kind of a shipway that the drainplug is not a shipway is right. sent19: the color is a diplomate.
the drainplug is not a shipway.
sent13 -> int1: the drainplug is not a shipway and not anaglyphic if it is not a kind of a lapin.; sent11 -> int2: if the furnace does close that it is not a lapin and is not boronic is not true.; sent3 -> int3: the furnace does close if it distills.;
$hypothesis$ = the drainplug is a kind of a shipway. ; $context$ = sent1: the homestead is a shipway. sent2: if the drainplug is not anaglyphic it is both a lapin and a shipway. sent3: something is close if it distills. sent4: there exists something such that the fact that it is a kind of a shipway and it is not a lapin is wrong. sent5: something sputters Haeckel if it is a diplomate. sent6: the drainplug is a kind of a lapin if it is not anaglyphic. sent7: if something is not a kind of a shipway then that it is not a lapin and is not anaglyphic does not hold. sent8: if something does sputter bohrium the drainplug is not anaglyphic. sent9: if the color is not boronic then the fact that that the spermatophyte does not close and it does not distill is not true is correct. sent10: the furnace is not a shipway if something is close. sent11: if something is close that it is not a lapin and it is not boronic is incorrect. sent12: the drainplug is non-anaglyphic if there is something such that that the fact that it is not a transplant and does not sputter bohrium is correct is false. sent13: if something is not a lapin it is not a kind of a shipway and it is not anaglyphic. sent14: if the fact that something does not close and does not distill is false it does close. sent15: if something sputters Haeckel then it is not boronic. sent16: if there is something such that that it is both not a lapin and not anaglyphic is not correct then the drainplug is not a kind of a transplant. sent17: the furnace does distill if the fact that it sputters Haeckel is not incorrect. sent18: if the furnace is anaglyphic and is not a kind of a shipway that the drainplug is not a shipway is right. sent19: the color is a diplomate. ; $proof$ = 
__UNKNOWN__