the chela lapidifies but it does not circularize hammerhead.
sent1: if the hammerhead does not circularize hammerhead the chela does circularize hammerhead and it does lapidify. sent2: the fact that the salami is acquisitive but it is not a kind of a communicator is incorrect. sent3: the sicklepod is not acquisitive if the fact that it is both not a luge and not a fudge does not hold. sent4: the sicklepod is not a ash-pan if it does circularize hammerhead. sent5: that that the chela is a glare but it does not circularize hammerhead is incorrect is correct. sent6: the sicklepod is not acquisitive. sent7: if that the chela does not lapidify and is not a kind of a communicator is not true it is not acquisitive. sent8: the salami is not a kind of a luge if the fact that it is not acquisitive and is not a kind of a communicator does not hold. sent9: the sicklepod is a luge that does fudge if the salami is not a luge. sent10: the chela does snarl Volvox and is a fade. sent11: the sicklepod does fudge. sent12: if something is a communicator but it is not a kind of a luge it is not acquisitive. sent13: if the hammerhead does not lapidify the chela lapidify and does not circularize hammerhead. sent14: the nine-spot is soteriological. sent15: if the nine-spot is a glare and soteriological the hammerhead does not lapidify. sent16: if the nine-spot does lapidify it is not soteriological. sent17: if the sicklepod is a luge the nine-spot is a glare. sent18: if the salami is not a luge the sicklepod fudges. sent19: that the sicklepod is a kind of a luge and does not lapidify is not right. sent20: the salami does not lapidify if the chela is not a communicator. sent21: the chela does not circularize hammerhead. sent22: the salami is not a kind of a luge if it is acquisitive.
void -> assump1: Let's assume that the fact that the salami is a kind of unacquisitive thing that is not a communicator is true.; assump1 -> int1: that the salami is not a kind of a communicator hold.;
the fact that the base is not acquisitive hold.
sent12 -> int2: the base is not acquisitive if it is a communicator and it is not a luge.;
$hypothesis$ = the chela lapidifies but it does not circularize hammerhead. ; $context$ = sent1: if the hammerhead does not circularize hammerhead the chela does circularize hammerhead and it does lapidify. sent2: the fact that the salami is acquisitive but it is not a kind of a communicator is incorrect. sent3: the sicklepod is not acquisitive if the fact that it is both not a luge and not a fudge does not hold. sent4: the sicklepod is not a ash-pan if it does circularize hammerhead. sent5: that that the chela is a glare but it does not circularize hammerhead is incorrect is correct. sent6: the sicklepod is not acquisitive. sent7: if that the chela does not lapidify and is not a kind of a communicator is not true it is not acquisitive. sent8: the salami is not a kind of a luge if the fact that it is not acquisitive and is not a kind of a communicator does not hold. sent9: the sicklepod is a luge that does fudge if the salami is not a luge. sent10: the chela does snarl Volvox and is a fade. sent11: the sicklepod does fudge. sent12: if something is a communicator but it is not a kind of a luge it is not acquisitive. sent13: if the hammerhead does not lapidify the chela lapidify and does not circularize hammerhead. sent14: the nine-spot is soteriological. sent15: if the nine-spot is a glare and soteriological the hammerhead does not lapidify. sent16: if the nine-spot does lapidify it is not soteriological. sent17: if the sicklepod is a luge the nine-spot is a glare. sent18: if the salami is not a luge the sicklepod fudges. sent19: that the sicklepod is a kind of a luge and does not lapidify is not right. sent20: the salami does not lapidify if the chela is not a communicator. sent21: the chela does not circularize hammerhead. sent22: the salami is not a kind of a luge if it is acquisitive. ; $proof$ = 
void -> assump1: Let's assume that the fact that the salami is a kind of unacquisitive thing that is not a communicator is true.; assump1 -> int1: that the salami is not a kind of a communicator hold.; __UNKNOWN__