there exists something such that if it is both cheap and not immunotherapeutic then it is macerative.
sent1: if something is cheap but it is not immunotherapeutic it is macerative. sent2: if the diphenylhydantoin is cheap and it is immunotherapeutic it is macerative. sent3: there exists something such that if it is a Gestapo and it is not a mascarpone then it is microscopic. sent4: there exists something such that if it does consolidate millicurie and is non-stomatal it is a witchcraft. sent5: there is something such that if it consolidates Shinto and it is not a Darwinian then it consolidates cock. sent6: the diphenylhydantoin is immunotherapeutic if it is a mascarpone and it is not a tourist. sent7: if a ascomycete does not unsaddle that it is stomatal is not incorrect. sent8: if something is a Microdesmidae and not ohmic then it consolidates Palaquium. sent9: if something that sniffs diphenylhydantoin is not minty then it does consolidate plumbago. sent10: if a baccate thing is not a Athena then it is a kind of a hyoscyamine. sent11: if something farts and is not a receptionist it is a Gestapo. sent12: if something that is cheap is immunotherapeutic then it is macerative. sent13: there exists something such that if it consolidates bearded and is not calycular then it is a autoantibody. sent14: there is something such that if it is both cheap and immunotherapeutic it is macerative.
sent1 -> int1: the diphenylhydantoin is macerative if it is cheap thing that is not immunotherapeutic.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is both cheap and not immunotherapeutic then it is macerative. ; $context$ = sent1: if something is cheap but it is not immunotherapeutic it is macerative. sent2: if the diphenylhydantoin is cheap and it is immunotherapeutic it is macerative. sent3: there exists something such that if it is a Gestapo and it is not a mascarpone then it is microscopic. sent4: there exists something such that if it does consolidate millicurie and is non-stomatal it is a witchcraft. sent5: there is something such that if it consolidates Shinto and it is not a Darwinian then it consolidates cock. sent6: the diphenylhydantoin is immunotherapeutic if it is a mascarpone and it is not a tourist. sent7: if a ascomycete does not unsaddle that it is stomatal is not incorrect. sent8: if something is a Microdesmidae and not ohmic then it consolidates Palaquium. sent9: if something that sniffs diphenylhydantoin is not minty then it does consolidate plumbago. sent10: if a baccate thing is not a Athena then it is a kind of a hyoscyamine. sent11: if something farts and is not a receptionist it is a Gestapo. sent12: if something that is cheap is immunotherapeutic then it is macerative. sent13: there exists something such that if it consolidates bearded and is not calycular then it is a autoantibody. sent14: there is something such that if it is both cheap and immunotherapeutic it is macerative. ; $proof$ = 
sent1 -> int1: the diphenylhydantoin is macerative if it is cheap thing that is not immunotherapeutic.; int1 -> hypothesis; __PROVED__