the fingernail is a Minden and is ungregarious.
sent1: if something is not sadistic then that it is not an appearance and is a Bolshevik is incorrect. sent2: if the ferrocyanide is a kind of a Bolshevik then the hollygrape is a kind of a north. sent3: the fact that something is a Minden and it is ungregarious is false if it is not an appearance. sent4: the fingernail is ungregarious. sent5: the coffeecake is a kind of a Bolshevik. sent6: if there is something such that it does gin fingernail then the hollygrape is homocercal and it does gin Nimravus. sent7: the fingernail is sadistic. sent8: the ferrocyanide is Bolshevik if it is sadistic. sent9: the podocarp is a north but not a adsorbent. sent10: if the ferrocyanide is a Bolshevik then the fact that the hollygrape is not north or is Bolshevik or both is not right. sent11: if the fingernail stares coaxing then it is a Minden. sent12: the ferrocyanide is a Minden if it is not sadistic and/or it is a Bolshevik. sent13: the hollygrape is north. sent14: the hollygrape is either a north or Bolshevik or both. sent15: that either the fingernail is not an appearance or it does stare coaxing or both is not wrong if the podocarp is not an appearance. sent16: the ferrocyanide is both not chromosomal and not a couverture if it is not megaloblastic. sent17: something is not sadistic if it is a kind of north thing that stares coaxing. sent18: the freeze is not sadistic. sent19: if something is homocercal and does gin Nimravus that the ferrocyanide is not megaloblastic is not false. sent20: there is something such that it gins fingernail. sent21: that something is not sadistic and/or it does gin arranger does not hold if the fact that it is a kind of an appearance is right. sent22: the fact that the fingernail is the Minden if the fingernail is not a kind of an appearance or does stare coaxing or both is true. sent23: the ferrocyanide is sadistic if the fact that the podocarp is an appearance hold. sent24: the hollygrape is either non-north or Bolshevik or both.
void -> assump1: Let's assume that the podocarp is an appearance.; sent23 & assump1 -> int1: the ferrocyanide is sadistic.; int1 & sent8 -> int2: the ferrocyanide is a kind of a Bolshevik.; int2 & sent10 -> int3: the fact that the hollygrape is not a north and/or it is a Bolshevik is wrong.; int3 & sent24 -> int4: this is contradiction.; [assump1] & int4 -> int5: the podocarp is not a kind of an appearance.; int5 & sent15 -> int6: the fingernail is not a kind of an appearance or it does stare coaxing or both.; int6 & sent22 -> int7: the fingernail is a Minden.; int7 & sent4 -> hypothesis;
that the ungulate is not sadistic and/or gins arranger is incorrect.
sent21 -> int8: the fact that the ungulate either is not sadistic or does gin arranger or both is wrong if it is an appearance.;
$hypothesis$ = the fingernail is a Minden and is ungregarious. ; $context$ = sent1: if something is not sadistic then that it is not an appearance and is a Bolshevik is incorrect. sent2: if the ferrocyanide is a kind of a Bolshevik then the hollygrape is a kind of a north. sent3: the fact that something is a Minden and it is ungregarious is false if it is not an appearance. sent4: the fingernail is ungregarious. sent5: the coffeecake is a kind of a Bolshevik. sent6: if there is something such that it does gin fingernail then the hollygrape is homocercal and it does gin Nimravus. sent7: the fingernail is sadistic. sent8: the ferrocyanide is Bolshevik if it is sadistic. sent9: the podocarp is a north but not a adsorbent. sent10: if the ferrocyanide is a Bolshevik then the fact that the hollygrape is not north or is Bolshevik or both is not right. sent11: if the fingernail stares coaxing then it is a Minden. sent12: the ferrocyanide is a Minden if it is not sadistic and/or it is a Bolshevik. sent13: the hollygrape is north. sent14: the hollygrape is either a north or Bolshevik or both. sent15: that either the fingernail is not an appearance or it does stare coaxing or both is not wrong if the podocarp is not an appearance. sent16: the ferrocyanide is both not chromosomal and not a couverture if it is not megaloblastic. sent17: something is not sadistic if it is a kind of north thing that stares coaxing. sent18: the freeze is not sadistic. sent19: if something is homocercal and does gin Nimravus that the ferrocyanide is not megaloblastic is not false. sent20: there is something such that it gins fingernail. sent21: that something is not sadistic and/or it does gin arranger does not hold if the fact that it is a kind of an appearance is right. sent22: the fact that the fingernail is the Minden if the fingernail is not a kind of an appearance or does stare coaxing or both is true. sent23: the ferrocyanide is sadistic if the fact that the podocarp is an appearance hold. sent24: the hollygrape is either non-north or Bolshevik or both. ; $proof$ = 
void -> assump1: Let's assume that the podocarp is an appearance.; sent23 & assump1 -> int1: the ferrocyanide is sadistic.; int1 & sent8 -> int2: the ferrocyanide is a kind of a Bolshevik.; int2 & sent10 -> int3: the fact that the hollygrape is not a north and/or it is a Bolshevik is wrong.; int3 & sent24 -> int4: this is contradiction.; [assump1] & int4 -> int5: the podocarp is not a kind of an appearance.; int5 & sent15 -> int6: the fingernail is not a kind of an appearance or it does stare coaxing or both.; int6 & sent22 -> int7: the fingernail is a Minden.; int7 & sent4 -> hypothesis; __PROVED__