either the Shakespearian is not lobar or it is not a dragon or both.
sent1: the greenery shafts Drake. sent2: if the buttock is not archaeological then either the Shakespearian is lobar or it is not a dragon or both. sent3: if the buttock is not non-archaeological the colt is a kilogram-meter. sent4: if the greenery does shaft Drake then the Jordanian does perpetuate cyber-terrorism or is not a jay or both. sent5: that the Shakespearian is not lobar or it is a kind of a dragon or both is not false if the buttock is not archaeological. sent6: the fact that something is not lobar and/or it is not a dragon does not hold if it is archaeological. sent7: The Drake shafts greenery. sent8: something is not a caffeinism if it is a kilogram-meter. sent9: the Jordanian does not perpetuate cyber-terrorism. sent10: the colt is not a cupola. sent11: if something is a kind of subclavian thing that is not a caffeinism then it is a guttersnipe. sent12: if the colt is a kind of subclavian thing that is a caffeinism it is a guttersnipe. sent13: the Shakespearian is not lobar and/or it is a dragon. sent14: something that is a kind of a kilogram-meter is subclavian and is not a caffeinism. sent15: that either something perpetuates cyber-terrorism or it is not a kind of a jay or both is not true if the fact that it does shaft rad is not wrong. sent16: if the colt is a kilogram-meter it is not a caffeinism. sent17: if something is a kind of subclavian a caffeinism it is a kind of a guttersnipe. sent18: the Shakespearian is lobar and/or it is not a dragon. sent19: something does not perpetuate cyber-terrorism if it does shaft rad. sent20: if the Jordanian shafts rad then it does not perpetuate cyber-terrorism. sent21: if that the buttock is not archaeological is right then the Shakespearian is not lobar and/or it is not a kind of a dragon.
void -> assump1: Let's assume that the buttock is archaeological.; sent3 & assump1 -> int1: the colt is a kind of a kilogram-meter.; sent14 -> int2: if that the colt is not a kind of a kilogram-meter is incorrect it is subclavian and is not a caffeinism.; int1 & int2 -> int3: the colt is both subclavian and not a caffeinism.; sent11 -> int4: the colt is a guttersnipe if it is subclavian but not a caffeinism.; int3 & int4 -> int5: the colt is a guttersnipe.; int5 & sent10 -> int6: the colt is a kind of a guttersnipe that is not a kind of a cupola.; sent15 -> int7: that the Jordanian does perpetuate cyber-terrorism and/or it is not a jay is incorrect if it does shaft rad.; sent4 & sent1 -> int8: the Jordanian perpetuates cyber-terrorism or it is not a jay or both.;
that the Shakespearian is not lobar or it is not a dragon or both is false.
sent6 -> int9: if the Shakespearian is archaeological then that it is not lobar or not a dragon or both is incorrect.;
$hypothesis$ = either the Shakespearian is not lobar or it is not a dragon or both. ; $context$ = sent1: the greenery shafts Drake. sent2: if the buttock is not archaeological then either the Shakespearian is lobar or it is not a dragon or both. sent3: if the buttock is not non-archaeological the colt is a kilogram-meter. sent4: if the greenery does shaft Drake then the Jordanian does perpetuate cyber-terrorism or is not a jay or both. sent5: that the Shakespearian is not lobar or it is a kind of a dragon or both is not false if the buttock is not archaeological. sent6: the fact that something is not lobar and/or it is not a dragon does not hold if it is archaeological. sent7: The Drake shafts greenery. sent8: something is not a caffeinism if it is a kilogram-meter. sent9: the Jordanian does not perpetuate cyber-terrorism. sent10: the colt is not a cupola. sent11: if something is a kind of subclavian thing that is not a caffeinism then it is a guttersnipe. sent12: if the colt is a kind of subclavian thing that is a caffeinism it is a guttersnipe. sent13: the Shakespearian is not lobar and/or it is a dragon. sent14: something that is a kind of a kilogram-meter is subclavian and is not a caffeinism. sent15: that either something perpetuates cyber-terrorism or it is not a kind of a jay or both is not true if the fact that it does shaft rad is not wrong. sent16: if the colt is a kilogram-meter it is not a caffeinism. sent17: if something is a kind of subclavian a caffeinism it is a kind of a guttersnipe. sent18: the Shakespearian is lobar and/or it is not a dragon. sent19: something does not perpetuate cyber-terrorism if it does shaft rad. sent20: if the Jordanian shafts rad then it does not perpetuate cyber-terrorism. sent21: if that the buttock is not archaeological is right then the Shakespearian is not lobar and/or it is not a kind of a dragon. ; $proof$ = 
void -> assump1: Let's assume that the buttock is archaeological.; sent3 & assump1 -> int1: the colt is a kind of a kilogram-meter.; sent14 -> int2: if that the colt is not a kind of a kilogram-meter is incorrect it is subclavian and is not a caffeinism.; int1 & int2 -> int3: the colt is both subclavian and not a caffeinism.; sent11 -> int4: the colt is a guttersnipe if it is subclavian but not a caffeinism.; int3 & int4 -> int5: the colt is a guttersnipe.; int5 & sent10 -> int6: the colt is a kind of a guttersnipe that is not a kind of a cupola.; sent15 -> int7: that the Jordanian does perpetuate cyber-terrorism and/or it is not a jay is incorrect if it does shaft rad.; sent4 & sent1 -> int8: the Jordanian perpetuates cyber-terrorism or it is not a jay or both.; __UNKNOWN__