if the drag is a kind of a hem that is not an endorser the waxycap stubs barter.
sent1: if the drag is not a kind of a californium it is not a kind of a stultification. sent2: the drag is not a kind of a whoop if it is parabolic and it does not deliquesce. sent3: the drag is not an endorser. sent4: something is not a Antido and it is non-meretricious if it is not a kind of a recapitulation. sent5: if the drag is a hem and is not an endorser then it is not a californium. sent6: the waxycap stubs barter if the drag is a kind of a hem and it is a kind of an endorser. sent7: if the waxycap does not stub barter then the fact that it is a kind of an endorser and/or it does not hem is wrong. sent8: if that something is solanaceous and a recapitulation is not correct it is not a kind of a recapitulation. sent9: that something is solanaceous and it is a recapitulation does not hold if it is not unscholarly. sent10: if the fact that the drag is a stultification or it does not whoop or both is not true the waxycap stubs barter. sent11: that something is a stultification and/or it is not a kind of a whoop is not correct if it is not a californium. sent12: the fact that the topside does vacate or is not an endorser or both is incorrect if it does not arrive cleanness. sent13: if something is not a Antido and not meretricious it does not stub barter. sent14: if that the drag is a kind of a californium and it is a kind of a whoop does not hold the miller does not whoop. sent15: everything is not unscholarly. sent16: the drag is not a kind of a stultification.
void -> assump1: Let's assume that the drag hems but it is not an endorser.; sent5 & assump1 -> int1: the drag is not a californium.; sent11 -> int2: the fact that the drag is a kind of a stultification or is not a whoop or both does not hold if it is not a californium.; int1 & int2 -> int3: the fact that the drag is a stultification and/or it does not whoop is not true.; int3 & sent10 -> int4: the waxycap does stub barter.; [assump1] & int4 -> hypothesis;
that the miller is an approach and/or not a stultification is not true.
sent13 -> int5: the drag does not stub barter if it is not a Antido and is not meretricious.; sent9 -> int6: that the xerophyte is solanaceous and it is a recapitulation does not hold if that it is not unscholarly is right.; sent15 -> int7: the xerophyte is not unscholarly.; int6 & int7 -> int8: that the xerophyte is solanaceous and is a recapitulation is not correct.; int8 -> int9: there is nothing such that it is solanaceous and is a recapitulation.; int9 -> int10: the fact that the waxycap is both solanaceous and a recapitulation is incorrect.; sent8 -> int11: the waxycap is not a recapitulation if that it is solanaceous and it is a recapitulation does not hold.; int10 & int11 -> int12: the waxycap is not a recapitulation.; int12 -> int13: everything is not a kind of a recapitulation.; int13 -> int14: the drag is not a kind of a recapitulation.; sent4 -> int15: if the drag is not a recapitulation then it is not a Antido and it is not meretricious.; int14 & int15 -> int16: the drag is not a kind of a Antido and is not meretricious.; int5 & int16 -> int17: that the drag does not stub barter is right.;
$hypothesis$ = if the drag is a kind of a hem that is not an endorser the waxycap stubs barter. ; $context$ = sent1: if the drag is not a kind of a californium it is not a kind of a stultification. sent2: the drag is not a kind of a whoop if it is parabolic and it does not deliquesce. sent3: the drag is not an endorser. sent4: something is not a Antido and it is non-meretricious if it is not a kind of a recapitulation. sent5: if the drag is a hem and is not an endorser then it is not a californium. sent6: the waxycap stubs barter if the drag is a kind of a hem and it is a kind of an endorser. sent7: if the waxycap does not stub barter then the fact that it is a kind of an endorser and/or it does not hem is wrong. sent8: if that something is solanaceous and a recapitulation is not correct it is not a kind of a recapitulation. sent9: that something is solanaceous and it is a recapitulation does not hold if it is not unscholarly. sent10: if the fact that the drag is a stultification or it does not whoop or both is not true the waxycap stubs barter. sent11: that something is a stultification and/or it is not a kind of a whoop is not correct if it is not a californium. sent12: the fact that the topside does vacate or is not an endorser or both is incorrect if it does not arrive cleanness. sent13: if something is not a Antido and not meretricious it does not stub barter. sent14: if that the drag is a kind of a californium and it is a kind of a whoop does not hold the miller does not whoop. sent15: everything is not unscholarly. sent16: the drag is not a kind of a stultification. ; $proof$ = 
void -> assump1: Let's assume that the drag hems but it is not an endorser.; sent5 & assump1 -> int1: the drag is not a californium.; sent11 -> int2: the fact that the drag is a kind of a stultification or is not a whoop or both does not hold if it is not a californium.; int1 & int2 -> int3: the fact that the drag is a stultification and/or it does not whoop is not true.; int3 & sent10 -> int4: the waxycap does stub barter.; [assump1] & int4 -> hypothesis; __PROVED__