there is something such that it is a defile.
sent1: the fact that the hole-in-the-wall does travel but it is not a macintosh does not hold if it is a kind of a troop. sent2: something is a kind of a hoarder. sent3: if something is an endosperm then it is a kind of a defile. sent4: the fact that the showcase is not a travel but it is a macintosh is not true if the comfit is diamagnetic. sent5: the hole-in-the-wall is a transept. sent6: if the comfit forages it is a tattle. sent7: if the hole-in-the-wall is not a kind of a discord then the comfit is an endosperm. sent8: that something is an endosperm and is a kind of a discord is not true if it is not a troop. sent9: the pressure is not an endosperm if there is something such that that it is a kind of an endosperm and it is a discord does not hold. sent10: the fact that the pentastomid is a macintosh is not wrong. sent11: the hole-in-the-wall troops if it is a discord. sent12: the hole-in-the-wall is a kind of an endosperm if the comfit is not a troop. sent13: that the hole-in-the-wall is a travel and it is a macintosh is not right. sent14: if the hole-in-the-wall is a kind of a macintosh the showcase is not diamagnetic. sent15: the fact that the comfit is a defile and is diamagnetic is not false if it is not agreeable. sent16: if that the hole-in-the-wall is diamagnetic is true it is a macintosh. sent17: the fact that the hole-in-the-wall is a travel and a macintosh is incorrect if it is a troop. sent18: the showcase is diamagnetic. sent19: the phoebe is not diamagnetic. sent20: if the comfit is a macintosh it is a defile.
void -> assump1: Let's assume that the hole-in-the-wall is a discord.; sent11 & assump1 -> int1: the hole-in-the-wall troops.; int1 & sent1 -> int2: that the hole-in-the-wall is a travel and is not a kind of a macintosh is wrong.; sent3 -> int3: the fact that the comfit defiles is correct if the fact that it is an endosperm is right.;
the pressure is not a kind of an endosperm.
sent8 -> int4: if the hole-in-the-wall is not a troop the fact that it is a kind of an endosperm and is a discord does not hold.;
$hypothesis$ = there is something such that it is a defile. ; $context$ = sent1: the fact that the hole-in-the-wall does travel but it is not a macintosh does not hold if it is a kind of a troop. sent2: something is a kind of a hoarder. sent3: if something is an endosperm then it is a kind of a defile. sent4: the fact that the showcase is not a travel but it is a macintosh is not true if the comfit is diamagnetic. sent5: the hole-in-the-wall is a transept. sent6: if the comfit forages it is a tattle. sent7: if the hole-in-the-wall is not a kind of a discord then the comfit is an endosperm. sent8: that something is an endosperm and is a kind of a discord is not true if it is not a troop. sent9: the pressure is not an endosperm if there is something such that that it is a kind of an endosperm and it is a discord does not hold. sent10: the fact that the pentastomid is a macintosh is not wrong. sent11: the hole-in-the-wall troops if it is a discord. sent12: the hole-in-the-wall is a kind of an endosperm if the comfit is not a troop. sent13: that the hole-in-the-wall is a travel and it is a macintosh is not right. sent14: if the hole-in-the-wall is a kind of a macintosh the showcase is not diamagnetic. sent15: the fact that the comfit is a defile and is diamagnetic is not false if it is not agreeable. sent16: if that the hole-in-the-wall is diamagnetic is true it is a macintosh. sent17: the fact that the hole-in-the-wall is a travel and a macintosh is incorrect if it is a troop. sent18: the showcase is diamagnetic. sent19: the phoebe is not diamagnetic. sent20: if the comfit is a macintosh it is a defile. ; $proof$ = 
void -> assump1: Let's assume that the hole-in-the-wall is a discord.; sent11 & assump1 -> int1: the hole-in-the-wall troops.; int1 & sent1 -> int2: that the hole-in-the-wall is a travel and is not a kind of a macintosh is wrong.; sent3 -> int3: the fact that the comfit defiles is correct if the fact that it is an endosperm is right.; __UNKNOWN__