that if the dustcloth is inexpedient the fact that the dustcloth does not pretend but it squats quiver hold is not correct.
sent1: the dustcloth is a coronary but it is not corrected if the greengrocer does clue superintendent. sent2: the dustcloth clues superintendent but it is not a prostatectomy if that the greengrocer is not expedient is not incorrect. sent3: the greengrocer clues superintendent. sent4: The superintendent clues greengrocer. sent5: if the dustcloth is coronary thing that is not corrected the fact that it does squat quiver is correct. sent6: if something is inexpedient it is not a prostatectomy and/or it is a synchroflash. sent7: the dustcloth does not pretend if it is not a kind of a prostatectomy or it is a kind of a synchroflash or both.
sent6 -> int1: the dustcloth is not a prostatectomy or it is a synchroflash or both if it is inexpedient.; void -> assump1: Let's assume that the dustcloth is not expedient.; int1 & assump1 -> int2: the dustcloth is not a kind of a prostatectomy and/or it is a kind of a synchroflash.; int2 & sent7 -> int3: the dustcloth does not pretend.; sent1 & sent3 -> int4: the dustcloth is a coronary but it does not correct.; sent5 & int4 -> int5: the dustcloth does squat quiver.; int3 & int5 -> int6: the dustcloth does not pretend but it squats quiver.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that if the dustcloth is inexpedient the fact that the dustcloth does not pretend but it squats quiver hold is not correct. ; $context$ = sent1: the dustcloth is a coronary but it is not corrected if the greengrocer does clue superintendent. sent2: the dustcloth clues superintendent but it is not a prostatectomy if that the greengrocer is not expedient is not incorrect. sent3: the greengrocer clues superintendent. sent4: The superintendent clues greengrocer. sent5: if the dustcloth is coronary thing that is not corrected the fact that it does squat quiver is correct. sent6: if something is inexpedient it is not a prostatectomy and/or it is a synchroflash. sent7: the dustcloth does not pretend if it is not a kind of a prostatectomy or it is a kind of a synchroflash or both. ; $proof$ = 
sent6 -> int1: the dustcloth is not a prostatectomy or it is a synchroflash or both if it is inexpedient.; void -> assump1: Let's assume that the dustcloth is not expedient.; int1 & assump1 -> int2: the dustcloth is not a kind of a prostatectomy and/or it is a kind of a synchroflash.; int2 & sent7 -> int3: the dustcloth does not pretend.; sent1 & sent3 -> int4: the dustcloth is a coronary but it does not correct.; sent5 & int4 -> int5: the dustcloth does squat quiver.; int3 & int5 -> int6: the dustcloth does not pretend but it squats quiver.; [assump1] & int6 -> hypothesis; __DISPROVED__