the carbuncle demilitarizes agriculture.
sent1: the fact that the javelin is a deposition and is non-odorous is not true. sent2: if that something is odorous and it is a rancidness is not right then it does not demilitarize agriculture. sent3: if the fact that something does fret hosiery but it is not a recess does not hold then it does demilitarize agriculture. sent4: if something that does not metamorphose is not a duty then it is not a kind of a rancidness. sent5: if the achondrite is not exterior then the Apache is not manorial. sent6: something contradistinguishes grease and does not metamorphose if it is not manorial. sent7: if the carbuncle does not fret hosiery then it does demilitarize agriculture. sent8: something does demilitarize agriculture if it does not fret hosiery. sent9: if something is not a rancidness it demilitarizes agriculture and it is not odorous. sent10: if the Apache does contradistinguish grease but it does not metamorphose the javelin is not a duty. sent11: the achondrite is nonsignificant. sent12: the fact that the carbuncle does fret hosiery but it does not recess is incorrect if the javelin is not odorous. sent13: something is not exterior and/or is not manorial if it interleaves malacopterygian. sent14: something does not contradistinguish grease if the fact that it is not exterior and it contradistinguish grease does not hold. sent15: something does interleave malacopterygian if it is nonsignificant. sent16: the javelin does not metamorphose and it is not a duty if the Apache does not contradistinguish grease. sent17: the javelin is not odorous. sent18: if the javelin does demilitarize agriculture but it is not odorous the goulash is not odorous.
sent3 -> int1: the carbuncle demilitarizes agriculture if that it does fret hosiery and does not recess is not true.; sent12 & sent17 -> int2: that the carbuncle does fret hosiery but it is not a kind of a recess does not hold.; int1 & int2 -> hypothesis;
the goulash is not odorous.
sent9 -> int3: if the javelin is not a kind of a rancidness it demilitarizes agriculture and is not odorous.; sent4 -> int4: the javelin is not a rancidness if it does not metamorphose and it is not a kind of a duty.; sent14 -> int5: that the Apache does not contradistinguish grease hold if the fact that it is not exterior and contradistinguish grease does not hold.;
$hypothesis$ = the carbuncle demilitarizes agriculture. ; $context$ = sent1: the fact that the javelin is a deposition and is non-odorous is not true. sent2: if that something is odorous and it is a rancidness is not right then it does not demilitarize agriculture. sent3: if the fact that something does fret hosiery but it is not a recess does not hold then it does demilitarize agriculture. sent4: if something that does not metamorphose is not a duty then it is not a kind of a rancidness. sent5: if the achondrite is not exterior then the Apache is not manorial. sent6: something contradistinguishes grease and does not metamorphose if it is not manorial. sent7: if the carbuncle does not fret hosiery then it does demilitarize agriculture. sent8: something does demilitarize agriculture if it does not fret hosiery. sent9: if something is not a rancidness it demilitarizes agriculture and it is not odorous. sent10: if the Apache does contradistinguish grease but it does not metamorphose the javelin is not a duty. sent11: the achondrite is nonsignificant. sent12: the fact that the carbuncle does fret hosiery but it does not recess is incorrect if the javelin is not odorous. sent13: something is not exterior and/or is not manorial if it interleaves malacopterygian. sent14: something does not contradistinguish grease if the fact that it is not exterior and it contradistinguish grease does not hold. sent15: something does interleave malacopterygian if it is nonsignificant. sent16: the javelin does not metamorphose and it is not a duty if the Apache does not contradistinguish grease. sent17: the javelin is not odorous. sent18: if the javelin does demilitarize agriculture but it is not odorous the goulash is not odorous. ; $proof$ = 
sent3 -> int1: the carbuncle demilitarizes agriculture if that it does fret hosiery and does not recess is not true.; sent12 & sent17 -> int2: that the carbuncle does fret hosiery but it is not a kind of a recess does not hold.; int1 & int2 -> hypothesis; __PROVED__