the wrench is not non-ballistic but it is not a kind of a grill.
sent1: if the gravimeter does not sparkle doped but it is a Azerbaijani the hairdo is not a globetrotter. sent2: if the gravimeter is univalve the wrench is ballistic. sent3: the gravimeter is not Azerbaijani. sent4: the tremolite invigorates and does not sparkle doped if the buttock is a kind of a globetrotter. sent5: the hairdo is a globetrotter. sent6: the wrench is hircine. sent7: the hairdo does not sparkle doped if the tremolite invigorates but it does not sparkle doped. sent8: if something is not a Bahaism it is a kind of non-hircine thing that is not ballistic. sent9: the easter is not a Bahaism. sent10: the wrench does not grill if it does not invigorate and it is not a kind of a cubist. sent11: the buttock is not non-cubist and is hircine if it does not investigate snowfield. sent12: something is a globetrotter if it is a cubist. sent13: the gravimeter does not tamper. sent14: the fact that something is ballistic but not a grill is incorrect if it is not univalve. sent15: if the gravimeter does not sparkle doped and it is not a Azerbaijani the hairdo is not a globetrotter. sent16: that the gravimeter is cross-cultural a Azerbaijani does not hold if the fact that the hairdo does not sparkle doped is correct. sent17: the wrench does not invigorate and is not a cubist if it is hircine. sent18: if something is not cross-cultural it does not sparkle doped and is not a kind of a Azerbaijani. sent19: the hairdo grills. sent20: if something is not ballistic it is not cross-cultural. sent21: if the wrench is not a cubist and it does not invigorate then it does not fly. sent22: the fact that the gravimeter is not a flying but it is a Bahaism does not hold if it is not univalve. sent23: if that the gravimeter is both not a flying and a Bahaism is false it is not cross-cultural.
void -> assump1: Let's assume that the gravimeter is not univalve.; sent22 & assump1 -> int1: the fact that the gravimeter is both not a flying and a Bahaism is incorrect.; int1 & sent23 -> int2: the gravimeter is not cross-cultural.; sent18 -> int3: if the gravimeter is not cross-cultural it does not sparkle doped and is not a Azerbaijani.; int2 & int3 -> int4: the gravimeter does not sparkle doped and it is not a Azerbaijani.; int4 & sent15 -> int5: the hairdo is not a globetrotter.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gravimeter is univalve.; int7 & sent2 -> int8: the wrench is ballistic.; sent17 & sent6 -> int9: the wrench does not invigorate and it is non-cubist.; sent10 & int9 -> int10: the wrench does not grill.; int8 & int10 -> hypothesis;
that the wrench is ballistic but it is not a grill is incorrect.
sent14 -> int11: if the wrench is not univalve the fact that it is ballistic but not a grill is incorrect.; sent12 -> int12: that if that the buttock is the cubist is correct the fact that the buttock is a globetrotter is right is right.;
$hypothesis$ = the wrench is not non-ballistic but it is not a kind of a grill. ; $context$ = sent1: if the gravimeter does not sparkle doped but it is a Azerbaijani the hairdo is not a globetrotter. sent2: if the gravimeter is univalve the wrench is ballistic. sent3: the gravimeter is not Azerbaijani. sent4: the tremolite invigorates and does not sparkle doped if the buttock is a kind of a globetrotter. sent5: the hairdo is a globetrotter. sent6: the wrench is hircine. sent7: the hairdo does not sparkle doped if the tremolite invigorates but it does not sparkle doped. sent8: if something is not a Bahaism it is a kind of non-hircine thing that is not ballistic. sent9: the easter is not a Bahaism. sent10: the wrench does not grill if it does not invigorate and it is not a kind of a cubist. sent11: the buttock is not non-cubist and is hircine if it does not investigate snowfield. sent12: something is a globetrotter if it is a cubist. sent13: the gravimeter does not tamper. sent14: the fact that something is ballistic but not a grill is incorrect if it is not univalve. sent15: if the gravimeter does not sparkle doped and it is not a Azerbaijani the hairdo is not a globetrotter. sent16: that the gravimeter is cross-cultural a Azerbaijani does not hold if the fact that the hairdo does not sparkle doped is correct. sent17: the wrench does not invigorate and is not a cubist if it is hircine. sent18: if something is not cross-cultural it does not sparkle doped and is not a kind of a Azerbaijani. sent19: the hairdo grills. sent20: if something is not ballistic it is not cross-cultural. sent21: if the wrench is not a cubist and it does not invigorate then it does not fly. sent22: the fact that the gravimeter is not a flying but it is a Bahaism does not hold if it is not univalve. sent23: if that the gravimeter is both not a flying and a Bahaism is false it is not cross-cultural. ; $proof$ = 
void -> assump1: Let's assume that the gravimeter is not univalve.; sent22 & assump1 -> int1: the fact that the gravimeter is both not a flying and a Bahaism is incorrect.; int1 & sent23 -> int2: the gravimeter is not cross-cultural.; sent18 -> int3: if the gravimeter is not cross-cultural it does not sparkle doped and is not a Azerbaijani.; int2 & int3 -> int4: the gravimeter does not sparkle doped and it is not a Azerbaijani.; int4 & sent15 -> int5: the hairdo is not a globetrotter.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gravimeter is univalve.; int7 & sent2 -> int8: the wrench is ballistic.; sent17 & sent6 -> int9: the wrench does not invigorate and it is non-cubist.; sent10 & int9 -> int10: the wrench does not grill.; int8 & int10 -> hypothesis; __PROVED__