the arquebus is either not little or not a Hearst or both.
sent1: the arquebus does nestle. sent2: the arquebus is either a little or not a Hearst or both if the blow is a little. sent3: that something does not discountenance mooneye and it is not a kind of a Blok is not correct if it does not compartmentalize dictator. sent4: if something does not fragment keel then it does transmute and it nestles. sent5: the keel fragments keel. sent6: the blow does not fragment keel if the keel fragment keel and it does compartmentalize styrene. sent7: if the keel does compartmentalize dictator and it does discountenance mooneye the dictator does not transmute. sent8: if the blow is a kind of a little then the arquebus is not a little and/or it is not a Hearst. sent9: the arquebus is not little and/or it is a Hearst if the blow is a little. sent10: the blow is little if it is not a Blok. sent11: something does not compartmentalize dictator if it does transmute. sent12: the arquebus does not discountenance mooneye. sent13: either the arquebus is not a little or it is a Hearst or both. sent14: the dictator transmutes. sent15: the arquebus is a Blok if the fact that the blow does not discountenance mooneye and it is not a kind of a Blok does not hold. sent16: the keel does nestle. sent17: if something is a Blok it does compartmentalize dictator. sent18: the keel compartmentalizes dictator if the blow is a Blok. sent19: the arquebus is a kind of a little or it is not a Hearst or both. sent20: the palace does nestle. sent21: the dictator is dysplastic. sent22: the keel does discountenance mooneye and it does nestle.
void -> assump1: Let's assume that the blow is a Blok.; sent18 & assump1 -> int1: the fact that the keel does compartmentalize dictator is correct.; sent22 -> int2: the fact that the keel discountenances mooneye is not false.; int1 & int2 -> int3: the keel compartmentalizes dictator and discountenances mooneye.; int3 & sent7 -> int4: that the dictator does not transmute hold.; int4 & sent14 -> int5: this is contradiction.; [assump1] & int5 -> int6: the blow is not a kind of a Blok.; int6 & sent10 -> int7: the blow is a kind of a little.; int7 & sent8 -> hypothesis;
that either the arquebus is not a little or it is not a Hearst or both is not true.
sent3 -> int8: the fact that the blow does not discountenance mooneye and it is not a kind of a Blok is not true if it does not compartmentalize dictator.; sent11 -> int9: the blow does not compartmentalize dictator if it does transmute.; sent4 -> int10: if the blow does not fragment keel it does transmute and does nestle.;
$hypothesis$ = the arquebus is either not little or not a Hearst or both. ; $context$ = sent1: the arquebus does nestle. sent2: the arquebus is either a little or not a Hearst or both if the blow is a little. sent3: that something does not discountenance mooneye and it is not a kind of a Blok is not correct if it does not compartmentalize dictator. sent4: if something does not fragment keel then it does transmute and it nestles. sent5: the keel fragments keel. sent6: the blow does not fragment keel if the keel fragment keel and it does compartmentalize styrene. sent7: if the keel does compartmentalize dictator and it does discountenance mooneye the dictator does not transmute. sent8: if the blow is a kind of a little then the arquebus is not a little and/or it is not a Hearst. sent9: the arquebus is not little and/or it is a Hearst if the blow is a little. sent10: the blow is little if it is not a Blok. sent11: something does not compartmentalize dictator if it does transmute. sent12: the arquebus does not discountenance mooneye. sent13: either the arquebus is not a little or it is a Hearst or both. sent14: the dictator transmutes. sent15: the arquebus is a Blok if the fact that the blow does not discountenance mooneye and it is not a kind of a Blok does not hold. sent16: the keel does nestle. sent17: if something is a Blok it does compartmentalize dictator. sent18: the keel compartmentalizes dictator if the blow is a Blok. sent19: the arquebus is a kind of a little or it is not a Hearst or both. sent20: the palace does nestle. sent21: the dictator is dysplastic. sent22: the keel does discountenance mooneye and it does nestle. ; $proof$ = 
void -> assump1: Let's assume that the blow is a Blok.; sent18 & assump1 -> int1: the fact that the keel does compartmentalize dictator is correct.; sent22 -> int2: the fact that the keel discountenances mooneye is not false.; int1 & int2 -> int3: the keel compartmentalizes dictator and discountenances mooneye.; int3 & sent7 -> int4: that the dictator does not transmute hold.; int4 & sent14 -> int5: this is contradiction.; [assump1] & int5 -> int6: the blow is not a kind of a Blok.; int6 & sent10 -> int7: the blow is a kind of a little.; int7 & sent8 -> hypothesis; __PROVED__