the fact that the fact that the gerontologist does not marvel lek or it is not transuranic or both is false if the ricer is .22-caliber does not hold.
sent1: if the biomass does default tinderbox then the fact that the gerontologist either marvels lek or is not transuranic or both is wrong. sent2: either the biomass does not default tinderbox or it does not marvel lek or both. sent3: the biomass defaults tinderbox if the ricer is .22-caliber. sent4: if the ricer is .22-caliber then the gerontologist is transuranic. sent5: if the biomass defaults tinderbox then that either the gerontologist does not marvel lek or it is not transuranic or both does not hold. sent6: that either the gerontologist is not transuranic or it is not .22-caliber or both is false if the ricer does marvel lek. sent7: the fact that the fact that the gerontologist either does marvel lek or is not transuranic or both is not correct is true. sent8: if the biomass is transuranic the fact that either the gerontologist does not default tinderbox or it does not marvel lek or both is wrong. sent9: that the gerontologist is transuranic is right if the biomass defaults tinderbox. sent10: the fact that the gerontologist does marvel lek or it is not transuranic or both is not true if the ricer is .22-caliber. sent11: if the gerontologist does marvel lek that the biomass either is not .22-caliber or does not default tinderbox or both is not true. sent12: if the gerontologist is .22-caliber that the ricer is non-transuranic and/or does not marvel lek is not correct. sent13: the ricer is not non-transuranic. sent14: the gerontologist is transuranic. sent15: the ricer does default proportionality. sent16: the ricer does default tinderbox if the biomass is .22-caliber. sent17: if the gerontologist is .22-caliber that either the ricer does not marvel lek or it is not transuranic or both does not hold. sent18: the gerontologist is either not transuranic or not .22-caliber or both.
void -> assump1: Let's assume that the ricer is .22-caliber.; sent3 & assump1 -> int1: that the biomass does default tinderbox is not false.; sent5 & int1 -> int2: the fact that the gerontologist does not marvel lek and/or it is not transuranic is not correct.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that the fact that the gerontologist does not marvel lek or it is not transuranic or both is false if the ricer is .22-caliber does not hold. ; $context$ = sent1: if the biomass does default tinderbox then the fact that the gerontologist either marvels lek or is not transuranic or both is wrong. sent2: either the biomass does not default tinderbox or it does not marvel lek or both. sent3: the biomass defaults tinderbox if the ricer is .22-caliber. sent4: if the ricer is .22-caliber then the gerontologist is transuranic. sent5: if the biomass defaults tinderbox then that either the gerontologist does not marvel lek or it is not transuranic or both does not hold. sent6: that either the gerontologist is not transuranic or it is not .22-caliber or both is false if the ricer does marvel lek. sent7: the fact that the fact that the gerontologist either does marvel lek or is not transuranic or both is not correct is true. sent8: if the biomass is transuranic the fact that either the gerontologist does not default tinderbox or it does not marvel lek or both is wrong. sent9: that the gerontologist is transuranic is right if the biomass defaults tinderbox. sent10: the fact that the gerontologist does marvel lek or it is not transuranic or both is not true if the ricer is .22-caliber. sent11: if the gerontologist does marvel lek that the biomass either is not .22-caliber or does not default tinderbox or both is not true. sent12: if the gerontologist is .22-caliber that the ricer is non-transuranic and/or does not marvel lek is not correct. sent13: the ricer is not non-transuranic. sent14: the gerontologist is transuranic. sent15: the ricer does default proportionality. sent16: the ricer does default tinderbox if the biomass is .22-caliber. sent17: if the gerontologist is .22-caliber that either the ricer does not marvel lek or it is not transuranic or both does not hold. sent18: the gerontologist is either not transuranic or not .22-caliber or both. ; $proof$ = 
void -> assump1: Let's assume that the ricer is .22-caliber.; sent3 & assump1 -> int1: that the biomass does default tinderbox is not false.; sent5 & int1 -> int2: the fact that the gerontologist does not marvel lek and/or it is not transuranic is not correct.; [assump1] & int2 -> hypothesis; __DISPROVED__