the hamburger is opisthognathous.
sent1: if either the proteosome does not stage blistering or it is eukaryotic or both it does not lather landscapist. sent2: if the hamburger is a harpulla it is opisthognathous. sent3: the proteosome does not lather landscapist if the fact that it is eukaryotic hold. sent4: if something is not a kind of a Erithacus the fact that it is a kind of a rhinestone and it is not a kind of a bobsledding is not correct. sent5: that the hamburger is not a Pushan hold. sent6: if something is opisthognathous and/or it lathers landscapist then the Creation is not a harpulla. sent7: if something is eukaryotic it does not lather landscapist and is a harpulla. sent8: if the Napoleon is not a boneshaker and is not a Venushair then the fact that the cheekbone is a kind of a Venushair is false. sent9: if the proteosome does not lather landscapist and is a kind of a harpulla the fact that the hamburger does not lather landscapist is true. sent10: the proteosome is not eukaryotic. sent11: the saltire is a kind of a dicot. sent12: the proteosome does not stage blistering and/or it is eukaryotic. sent13: the Graham is not a kind of a drool. sent14: something is not a Erithacus if it is not a kind of a Venushair. sent15: the fact that something is not a drool is not false. sent16: the Napoleon is not a boneshaker and is not a Venushair if the saltire is a kind of a dicot. sent17: there exists something such that that it is a drool and is not pyroligneous is false. sent18: the hamburger is a harpulla if a drool is not pyroligneous. sent19: if there is something such that that it is a drool is right then that the proteosome does lather landscapist is not wrong. sent20: if something does not lather landscapist it is non-opisthognathous. sent21: the fact that the Graham is a kind of a drool but it is not pyroligneous is false. sent22: the remise is not a bobsledding if that the cheekbone is a rhinestone and is not a bobsledding is not true. sent23: the hamburger is a harpulla if something that is not a drool is not pyroligneous. sent24: something does stage blistering and/or it is capitular if it does not bobsled. sent25: if there is something such that the fact that it is not a kind of a drool and it is not pyroligneous is wrong then the proteosome lathers landscapist.
void -> assump1: Let's assume that the fact that the Graham is not a kind of a drool and it is not pyroligneous does not hold.; assump1 -> int1: there is something such that that it is not a drool and it is not pyroligneous does not hold.; int1 & sent25 -> int2: the proteosome lathers landscapist.; sent1 & sent12 -> int3: the proteosome does not lather landscapist.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Graham is not a drool and it is not pyroligneous.; int5 -> int6: there is something such that it is not a drool and not pyroligneous.; int6 & sent23 -> int7: the hamburger is a harpulla.; int7 & sent2 -> hypothesis;
the Creation is not a kind of a harpulla.
$hypothesis$ = the hamburger is opisthognathous. ; $context$ = sent1: if either the proteosome does not stage blistering or it is eukaryotic or both it does not lather landscapist. sent2: if the hamburger is a harpulla it is opisthognathous. sent3: the proteosome does not lather landscapist if the fact that it is eukaryotic hold. sent4: if something is not a kind of a Erithacus the fact that it is a kind of a rhinestone and it is not a kind of a bobsledding is not correct. sent5: that the hamburger is not a Pushan hold. sent6: if something is opisthognathous and/or it lathers landscapist then the Creation is not a harpulla. sent7: if something is eukaryotic it does not lather landscapist and is a harpulla. sent8: if the Napoleon is not a boneshaker and is not a Venushair then the fact that the cheekbone is a kind of a Venushair is false. sent9: if the proteosome does not lather landscapist and is a kind of a harpulla the fact that the hamburger does not lather landscapist is true. sent10: the proteosome is not eukaryotic. sent11: the saltire is a kind of a dicot. sent12: the proteosome does not stage blistering and/or it is eukaryotic. sent13: the Graham is not a kind of a drool. sent14: something is not a Erithacus if it is not a kind of a Venushair. sent15: the fact that something is not a drool is not false. sent16: the Napoleon is not a boneshaker and is not a Venushair if the saltire is a kind of a dicot. sent17: there exists something such that that it is a drool and is not pyroligneous is false. sent18: the hamburger is a harpulla if a drool is not pyroligneous. sent19: if there is something such that that it is a drool is right then that the proteosome does lather landscapist is not wrong. sent20: if something does not lather landscapist it is non-opisthognathous. sent21: the fact that the Graham is a kind of a drool but it is not pyroligneous is false. sent22: the remise is not a bobsledding if that the cheekbone is a rhinestone and is not a bobsledding is not true. sent23: the hamburger is a harpulla if something that is not a drool is not pyroligneous. sent24: something does stage blistering and/or it is capitular if it does not bobsled. sent25: if there is something such that the fact that it is not a kind of a drool and it is not pyroligneous is wrong then the proteosome lathers landscapist. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Graham is not a kind of a drool and it is not pyroligneous does not hold.; assump1 -> int1: there is something such that that it is not a drool and it is not pyroligneous does not hold.; int1 & sent25 -> int2: the proteosome lathers landscapist.; sent1 & sent12 -> int3: the proteosome does not lather landscapist.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Graham is not a drool and it is not pyroligneous.; int5 -> int6: there is something such that it is not a drool and not pyroligneous.; int6 & sent23 -> int7: the hamburger is a harpulla.; int7 & sent2 -> hypothesis; __PROVED__