the ant is not felicitous and it does not mask bioluminescence.
sent1: if the safe-deposit does jam Kroeber then the fact that the ant is not fewer and it does not mask bioluminescence is not false. sent2: the boutonniere is not octangular. sent3: the ant is infelicitous thing that does not mask bioluminescence if the calceus is not infelicitous. sent4: the boutonniere is a conch. sent5: the marauder does not jam Kroeber if there exists something such that it is not octangular and it does not tyrannize marauder. sent6: the calceus is not a conch. sent7: the safe-deposit is felicitous. sent8: if something does mask entree and is felicitous then the marauder jams Kroeber. sent9: the calceus is not felicitous and does not mask bioluminescence if the ant is not felicitous. sent10: there exists something such that it masks entree. sent11: the calceus is not a kind of a conch and does mask entree. sent12: there exists something such that it is not octangular and it does tyrannize marauder. sent13: there exists something such that it is felicitous. sent14: if the safe-deposit is fewer the boutonniere is not octangular and does not tyrannize marauder. sent15: the ant does not mask bioluminescence. sent16: the safe-deposit is non-fewer thing that does not tyrannize marauder if the boutonniere is not non-fewer. sent17: the marauder does mask bioluminescence. sent18: something does not mask entree and it does not mask bioluminescence. sent19: the safe-deposit is fewer. sent20: if something is octangular but it does not tyrannize marauder the marauder does not jam Kroeber. sent21: the ant does not mask bioluminescence if the calceus is not felicitous. sent22: there are non-octangular things. sent23: the calceus is octangular. sent24: if the safe-deposit is fewer the boutonniere is not octangular.
sent11 -> int1: the calceus masks entree.; void -> assump1: Let's assume that the calceus is felicitous.; int1 & assump1 -> int2: the calceus does mask entree and it is felicitous.; int2 -> int3: something masks entree and is felicitous.; int3 & sent8 -> int4: the marauder jams Kroeber.; sent14 & sent19 -> int5: the boutonniere is not octangular and does not tyrannize marauder.; int5 -> int6: there is something such that it is a kind of non-octangular thing that does not tyrannize marauder.; int6 & sent5 -> int7: that the marauder does not jam Kroeber hold.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the calceus is not felicitous.; int9 & sent3 -> hypothesis;
$hypothesis$ = the ant is not felicitous and it does not mask bioluminescence. ; $context$ = sent1: if the safe-deposit does jam Kroeber then the fact that the ant is not fewer and it does not mask bioluminescence is not false. sent2: the boutonniere is not octangular. sent3: the ant is infelicitous thing that does not mask bioluminescence if the calceus is not infelicitous. sent4: the boutonniere is a conch. sent5: the marauder does not jam Kroeber if there exists something such that it is not octangular and it does not tyrannize marauder. sent6: the calceus is not a conch. sent7: the safe-deposit is felicitous. sent8: if something does mask entree and is felicitous then the marauder jams Kroeber. sent9: the calceus is not felicitous and does not mask bioluminescence if the ant is not felicitous. sent10: there exists something such that it masks entree. sent11: the calceus is not a kind of a conch and does mask entree. sent12: there exists something such that it is not octangular and it does tyrannize marauder. sent13: there exists something such that it is felicitous. sent14: if the safe-deposit is fewer the boutonniere is not octangular and does not tyrannize marauder. sent15: the ant does not mask bioluminescence. sent16: the safe-deposit is non-fewer thing that does not tyrannize marauder if the boutonniere is not non-fewer. sent17: the marauder does mask bioluminescence. sent18: something does not mask entree and it does not mask bioluminescence. sent19: the safe-deposit is fewer. sent20: if something is octangular but it does not tyrannize marauder the marauder does not jam Kroeber. sent21: the ant does not mask bioluminescence if the calceus is not felicitous. sent22: there are non-octangular things. sent23: the calceus is octangular. sent24: if the safe-deposit is fewer the boutonniere is not octangular. ; $proof$ = 
sent11 -> int1: the calceus masks entree.; void -> assump1: Let's assume that the calceus is felicitous.; int1 & assump1 -> int2: the calceus does mask entree and it is felicitous.; int2 -> int3: something masks entree and is felicitous.; int3 & sent8 -> int4: the marauder jams Kroeber.; sent14 & sent19 -> int5: the boutonniere is not octangular and does not tyrannize marauder.; int5 -> int6: there is something such that it is a kind of non-octangular thing that does not tyrannize marauder.; int6 & sent5 -> int7: that the marauder does not jam Kroeber hold.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the calceus is not felicitous.; int9 & sent3 -> hypothesis; __PROVED__