the ounce is a cutback.
sent1: if the doxepin is not narcotic and is a mitomycin the ounce is not a cutback. sent2: if the Goldsmith is not an ornamentation then that the preemie is not a kind of a liking and it is not a small hold. sent3: that the preemie is not a narcotic is right. sent4: the jobcentre twirls if the doxepin does not twirls. sent5: the fact that the jobcentre does not twirl hold if the fact that the capitalist is both not a gusto and not articular does not hold. sent6: if the jobcentre twirls then the ounce is a cutback. sent7: the pill is not a kind of an ornamentation and is not dried. sent8: the Goldsmith is not a kind of an ornamentation. sent9: the ounce is not a cutback if the doxepin is not non-narcotic but it is not a mitomycin. sent10: there exists nothing such that it is not a gusto and it is articular. sent11: there is nothing that is both not a gusto and not articular. sent12: if the fact that the Goldsmith is not an ornamentation and it is not liking is right then the jobcentre is non-basal. sent13: if the Goldsmith is not an ornamentation the fact that the preemie is not a small is not incorrect. sent14: the fact that the capitalist is not a gusto but it is articular is false. sent15: if the jobcentre is not basal the doxepin is both not narcotic and not a mitomycin. sent16: the preemie does not clean fundus. sent17: the preemie is not a small. sent18: if the preemie is non-liking a small the jobcentre is not a small. sent19: if the jobcentre is basal but it does not twirl it is a small. sent20: the jobcentre is not a small if the preemie does not like and it is not small. sent21: the capitalist is a cutback. sent22: the jobcentre does not twirl if the capitalist is not non-articular. sent23: the Goldsmith is a liking. sent24: if the doxepin is not narcotic and it is not a mitomycin the ounce is not a kind of a cutback. sent25: the bolide does not describe Schadenfreude.
sent11 -> int1: the fact that the capitalist is not a gusto and not articular is wrong.; int1 & sent5 -> int2: the jobcentre does not twirl.; void -> assump1: Let's assume that the jobcentre is basal.; int2 & assump1 -> int3: the jobcentre is basal but it does not twirl.; int3 & sent19 -> int4: the fact that the jobcentre is a small is true.; sent2 & sent8 -> int5: the preemie is not a kind of a liking and it is not a small.; sent20 & int5 -> int6: the jobcentre is not a small.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the jobcentre is not basal.; int8 & sent15 -> int9: the doxepin is both not a narcotic and not a mitomycin.; int9 & sent24 -> hypothesis;
the ounce is a cutback.
$hypothesis$ = the ounce is a cutback. ; $context$ = sent1: if the doxepin is not narcotic and is a mitomycin the ounce is not a cutback. sent2: if the Goldsmith is not an ornamentation then that the preemie is not a kind of a liking and it is not a small hold. sent3: that the preemie is not a narcotic is right. sent4: the jobcentre twirls if the doxepin does not twirls. sent5: the fact that the jobcentre does not twirl hold if the fact that the capitalist is both not a gusto and not articular does not hold. sent6: if the jobcentre twirls then the ounce is a cutback. sent7: the pill is not a kind of an ornamentation and is not dried. sent8: the Goldsmith is not a kind of an ornamentation. sent9: the ounce is not a cutback if the doxepin is not non-narcotic but it is not a mitomycin. sent10: there exists nothing such that it is not a gusto and it is articular. sent11: there is nothing that is both not a gusto and not articular. sent12: if the fact that the Goldsmith is not an ornamentation and it is not liking is right then the jobcentre is non-basal. sent13: if the Goldsmith is not an ornamentation the fact that the preemie is not a small is not incorrect. sent14: the fact that the capitalist is not a gusto but it is articular is false. sent15: if the jobcentre is not basal the doxepin is both not narcotic and not a mitomycin. sent16: the preemie does not clean fundus. sent17: the preemie is not a small. sent18: if the preemie is non-liking a small the jobcentre is not a small. sent19: if the jobcentre is basal but it does not twirl it is a small. sent20: the jobcentre is not a small if the preemie does not like and it is not small. sent21: the capitalist is a cutback. sent22: the jobcentre does not twirl if the capitalist is not non-articular. sent23: the Goldsmith is a liking. sent24: if the doxepin is not narcotic and it is not a mitomycin the ounce is not a kind of a cutback. sent25: the bolide does not describe Schadenfreude. ; $proof$ = 
sent11 -> int1: the fact that the capitalist is not a gusto and not articular is wrong.; int1 & sent5 -> int2: the jobcentre does not twirl.; void -> assump1: Let's assume that the jobcentre is basal.; int2 & assump1 -> int3: the jobcentre is basal but it does not twirl.; int3 & sent19 -> int4: the fact that the jobcentre is a small is true.; sent2 & sent8 -> int5: the preemie is not a kind of a liking and it is not a small.; sent20 & int5 -> int6: the jobcentre is not a small.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the jobcentre is not basal.; int8 & sent15 -> int9: the doxepin is both not a narcotic and not a mitomycin.; int9 & sent24 -> hypothesis; __DISPROVED__