there is something such that if the fact that it is not philanthropic and it is mensal is incorrect then it is not a devisor.
sent1: that the adductor is not a devisor is true if it is not philanthropic and it is mensal. sent2: there is something such that if that it perceives wank and it perceives Hylactophryne is wrong then it does not radio. sent3: there is something such that if that it is not go and perceives Kingstown does not hold that it is impolite hold. sent4: if the fact that something is not philanthropic but it is mensal is false then the fact that it is not a kind of a devisor hold. sent5: if something is both non-philanthropic and not non-mensal then that it is not a kind of a devisor is right. sent6: there exists something such that if the fact that it does not embattle is true then it is not a metric. sent7: there is something such that if it does not perceive ampersand then it does not swamp Gracilariidae. sent8: there is something such that if it is not prosodic and it does sample motorman it is not albitic. sent9: if the fact that something is non-philanthropic thing that is not non-mensal is false it is a devisor. sent10: there exists something such that if it is non-chaetal it does not exalt organon. sent11: there exists something such that if it is philanthropic then it is not a devisor. sent12: there exists something such that if the fact that it is not outward and it is polymorphous is not correct that it is a radio hold.
sent4 -> int1: if the fact that the adductor is not philanthropic but it is mensal is not true it is not a devisor.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is not philanthropic and it is mensal is incorrect then it is not a devisor. ; $context$ = sent1: that the adductor is not a devisor is true if it is not philanthropic and it is mensal. sent2: there is something such that if that it perceives wank and it perceives Hylactophryne is wrong then it does not radio. sent3: there is something such that if that it is not go and perceives Kingstown does not hold that it is impolite hold. sent4: if the fact that something is not philanthropic but it is mensal is false then the fact that it is not a kind of a devisor hold. sent5: if something is both non-philanthropic and not non-mensal then that it is not a kind of a devisor is right. sent6: there exists something such that if the fact that it does not embattle is true then it is not a metric. sent7: there is something such that if it does not perceive ampersand then it does not swamp Gracilariidae. sent8: there is something such that if it is not prosodic and it does sample motorman it is not albitic. sent9: if the fact that something is non-philanthropic thing that is not non-mensal is false it is a devisor. sent10: there exists something such that if it is non-chaetal it does not exalt organon. sent11: there exists something such that if it is philanthropic then it is not a devisor. sent12: there exists something such that if the fact that it is not outward and it is polymorphous is not correct that it is a radio hold. ; $proof$ = 
sent4 -> int1: if the fact that the adductor is not philanthropic but it is mensal is not true it is not a devisor.; int1 -> hypothesis; __PROVED__