there exists something such that if it is unwholesome then it does not soothe.
sent1: there is something such that if it is a kind of a combustible then it is not a kind of a Cameroonian. sent2: if something is not a rester it is not distrustful. sent3: something does not measure wheedler if it is not a Kuomintang. sent4: the crossjack is not a kind of a charitableness. sent5: something does benefit if it is not a kind of a founder. sent6: something is not a kind of a charitableness and it does not dart gadfly if it is unwholesome. sent7: if the chariot is nondeductible it is unwholesome. sent8: if something measures wheedler then it does not measure cod and it does not dart Tomistoma. sent9: the fact that the chariot does not average diffidence is not incorrect. sent10: the fact that the chariot is not a charitableness is not incorrect. sent11: if something does not dart gadfly it does not soothe. sent12: the bladder is not a captor.
sent6 -> int1: the chariot is not a charitableness and does not dart gadfly if it is unwholesome.; void -> assump1: Let's assume that the chariot is unwholesome.; int1 & assump1 -> int2: the chariot is not a kind of a charitableness and does not dart gadfly.; int2 -> int3: the chariot does not dart gadfly.; sent11 -> int4: the chariot does not soothe if the fact that it does not dart gadfly is correct.; int3 & int4 -> int5: the chariot does not soothe.; [assump1] & int5 -> int6: the chariot does not soothe if it is unwholesome.; int6 -> hypothesis;
$hypothesis$ = there exists something such that if it is unwholesome then it does not soothe. ; $context$ = sent1: there is something such that if it is a kind of a combustible then it is not a kind of a Cameroonian. sent2: if something is not a rester it is not distrustful. sent3: something does not measure wheedler if it is not a Kuomintang. sent4: the crossjack is not a kind of a charitableness. sent5: something does benefit if it is not a kind of a founder. sent6: something is not a kind of a charitableness and it does not dart gadfly if it is unwholesome. sent7: if the chariot is nondeductible it is unwholesome. sent8: if something measures wheedler then it does not measure cod and it does not dart Tomistoma. sent9: the fact that the chariot does not average diffidence is not incorrect. sent10: the fact that the chariot is not a charitableness is not incorrect. sent11: if something does not dart gadfly it does not soothe. sent12: the bladder is not a captor. ; $proof$ = 
sent6 -> int1: the chariot is not a charitableness and does not dart gadfly if it is unwholesome.; void -> assump1: Let's assume that the chariot is unwholesome.; int1 & assump1 -> int2: the chariot is not a kind of a charitableness and does not dart gadfly.; int2 -> int3: the chariot does not dart gadfly.; sent11 -> int4: the chariot does not soothe if the fact that it does not dart gadfly is correct.; int3 & int4 -> int5: the chariot does not soothe.; [assump1] & int5 -> int6: the chariot does not soothe if it is unwholesome.; int6 -> hypothesis; __PROVED__