the bog is calisthenic.
sent1: the curtain capitalizes amphisbaena. sent2: if that the curtain is catatonic or is not independent or both does not hold the fact that the lysozyme does not bethink curettage hold. sent3: the proposer does not bethink curettage. sent4: the rebutter does not bethink aileron. sent5: if the grand does not piffle then that it is not non-calisthenic and is not catatonic does not hold. sent6: the rebutter does piffle if the grand is catatonic. sent7: the lysozyme does not bethink aileron. sent8: that the curtain is catatonic and/or it is not independent does not hold if the grand is not catatonic. sent9: if the lysozyme does not bethink curettage the bog is calisthenic but it does not bethink aileron. sent10: the rebutter overruns blend and is not independent. sent11: the rebutter does not piffle if the grand does not piffle. sent12: the bog is independent and does not bethink aileron. sent13: if the grand is not catatonic then that the rebutter is catatonic or does not overrun blend or both is false. sent14: the fact that the lysozyme does not bethink curettage is not incorrect if the grand does not bethink curettage. sent15: the rebutter does overrun blend and does not piffle. sent16: the rebutter is catatonic but it does not piffle if the curtain does not overrun blend. sent17: the curtain bethinks curettage. sent18: the garlic does not bethink curettage. sent19: the fact that the waldmeister is not calisthenic hold. sent20: the curtain is both a Hoth and not calisthenic. sent21: the curtain is not a aluminate. sent22: the grand does piffle. sent23: the grand is calisthenic. sent24: the lysozyme does not piffle.
void -> assump1: Let's assume that the grand is catatonic.; sent6 & assump1 -> int1: the rebutter piffles.; sent15 -> int2: the rebutter does not piffle.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the grand is not catatonic.; int4 & sent8 -> int5: the fact that the curtain is catatonic or is dependent or both is false.; int5 & sent2 -> int6: the lysozyme does not bethink curettage.; int6 & sent9 -> int7: the bog is calisthenic and does not bethink aileron.; int7 -> hypothesis;
the fact that the bog is not calisthenic is correct.
$hypothesis$ = the bog is calisthenic. ; $context$ = sent1: the curtain capitalizes amphisbaena. sent2: if that the curtain is catatonic or is not independent or both does not hold the fact that the lysozyme does not bethink curettage hold. sent3: the proposer does not bethink curettage. sent4: the rebutter does not bethink aileron. sent5: if the grand does not piffle then that it is not non-calisthenic and is not catatonic does not hold. sent6: the rebutter does piffle if the grand is catatonic. sent7: the lysozyme does not bethink aileron. sent8: that the curtain is catatonic and/or it is not independent does not hold if the grand is not catatonic. sent9: if the lysozyme does not bethink curettage the bog is calisthenic but it does not bethink aileron. sent10: the rebutter overruns blend and is not independent. sent11: the rebutter does not piffle if the grand does not piffle. sent12: the bog is independent and does not bethink aileron. sent13: if the grand is not catatonic then that the rebutter is catatonic or does not overrun blend or both is false. sent14: the fact that the lysozyme does not bethink curettage is not incorrect if the grand does not bethink curettage. sent15: the rebutter does overrun blend and does not piffle. sent16: the rebutter is catatonic but it does not piffle if the curtain does not overrun blend. sent17: the curtain bethinks curettage. sent18: the garlic does not bethink curettage. sent19: the fact that the waldmeister is not calisthenic hold. sent20: the curtain is both a Hoth and not calisthenic. sent21: the curtain is not a aluminate. sent22: the grand does piffle. sent23: the grand is calisthenic. sent24: the lysozyme does not piffle. ; $proof$ = 
void -> assump1: Let's assume that the grand is catatonic.; sent6 & assump1 -> int1: the rebutter piffles.; sent15 -> int2: the rebutter does not piffle.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the grand is not catatonic.; int4 & sent8 -> int5: the fact that the curtain is catatonic or is dependent or both is false.; int5 & sent2 -> int6: the lysozyme does not bethink curettage.; int6 & sent9 -> int7: the bog is calisthenic and does not bethink aileron.; int7 -> hypothesis; __PROVED__