the swine is not arterial and dissonates.
sent1: if the hometown does dissonate then that that it is a kind of non-cogitative a Ishmael is right does not hold. sent2: there exists something such that the fact that it is cogitative and a Cottus is not right. sent3: if the swine is matutinal then it is non-arterial. sent4: the swine is not arterial. sent5: if that the inlet is a kind of a Hylophylax that is not cogitative is not true the hometown does upload Nepa. sent6: if the hometown is not a Hylophylax it is not a Cottus. sent7: if the delegate is a kind of a Ishmael then the fact that it is both not a videotape and not non-hemodynamic is incorrect. sent8: the delegate is hemodynamic. sent9: the swine is non-arterial but it dissonates if the fact that it is matutinal is true. sent10: the delegate does not tame if the hometown is hexangular. sent11: the delegate does not tame if the hometown is not non-hexangular or a Hylophylax or both. sent12: that the swine is not matutinal and is hemodynamic is incorrect. sent13: the hometown is not a videotape. sent14: that the inlet does not upload Nepa but it is a videotape is wrong. sent15: the inlet does not uncoil docility and is not even. sent16: if the delegate is non-cogitative then the hometown tames. sent17: the delegate is a Ishmael. sent18: if the hometown is not cogitative then that the inlet does upload Nepa but it is not a Lyrurus is incorrect. sent19: if that the inlet uploads Nepa and is not a Lyrurus is not correct the swine is matutinal. sent20: if something is not a kind of a Hylophylax then it is not cogitative and is not a Cottus. sent21: the delegate is hemodynamic if it is not tame. sent22: the inlet does not videotape if that it does not upload Nepa and is a videotape does not hold. sent23: if that the delegate is a Hylophylax hold the fact that the hometown is both not tame and non-hexangular is wrong. sent24: that something is non-arterial thing that does dissonate does not hold if that it is hexangular hold.
void -> assump1: Let's assume that the hometown is a Hylophylax.; assump1 -> int1: the hometown is hexangular and/or is a Hylophylax.; int1 & sent11 -> int2: the delegate does not tame.; sent7 & sent17 -> int3: that the delegate is not a videotape but it is hemodynamic is false.; sent20 -> int4: the hometown is not cogitative and it is not a Cottus if it is not a Hylophylax.;
that the fact that the swine is not arterial and does dissonate is not false is not true.
sent24 -> int5: the fact that that the swine is non-arterial thing that does dissonate is not correct if that the swine is hexangular is correct is not incorrect.; sent22 & sent14 -> int6: the inlet is not a kind of a videotape.;
$hypothesis$ = the swine is not arterial and dissonates. ; $context$ = sent1: if the hometown does dissonate then that that it is a kind of non-cogitative a Ishmael is right does not hold. sent2: there exists something such that the fact that it is cogitative and a Cottus is not right. sent3: if the swine is matutinal then it is non-arterial. sent4: the swine is not arterial. sent5: if that the inlet is a kind of a Hylophylax that is not cogitative is not true the hometown does upload Nepa. sent6: if the hometown is not a Hylophylax it is not a Cottus. sent7: if the delegate is a kind of a Ishmael then the fact that it is both not a videotape and not non-hemodynamic is incorrect. sent8: the delegate is hemodynamic. sent9: the swine is non-arterial but it dissonates if the fact that it is matutinal is true. sent10: the delegate does not tame if the hometown is hexangular. sent11: the delegate does not tame if the hometown is not non-hexangular or a Hylophylax or both. sent12: that the swine is not matutinal and is hemodynamic is incorrect. sent13: the hometown is not a videotape. sent14: that the inlet does not upload Nepa but it is a videotape is wrong. sent15: the inlet does not uncoil docility and is not even. sent16: if the delegate is non-cogitative then the hometown tames. sent17: the delegate is a Ishmael. sent18: if the hometown is not cogitative then that the inlet does upload Nepa but it is not a Lyrurus is incorrect. sent19: if that the inlet uploads Nepa and is not a Lyrurus is not correct the swine is matutinal. sent20: if something is not a kind of a Hylophylax then it is not cogitative and is not a Cottus. sent21: the delegate is hemodynamic if it is not tame. sent22: the inlet does not videotape if that it does not upload Nepa and is a videotape does not hold. sent23: if that the delegate is a Hylophylax hold the fact that the hometown is both not tame and non-hexangular is wrong. sent24: that something is non-arterial thing that does dissonate does not hold if that it is hexangular hold. ; $proof$ = 
void -> assump1: Let's assume that the hometown is a Hylophylax.; assump1 -> int1: the hometown is hexangular and/or is a Hylophylax.; int1 & sent11 -> int2: the delegate does not tame.; sent7 & sent17 -> int3: that the delegate is not a videotape but it is hemodynamic is false.; sent20 -> int4: the hometown is not cogitative and it is not a Cottus if it is not a Hylophylax.; __UNKNOWN__