the beta-adrenoceptor does not demilitarize Siren.
sent1: the Siren does not interleave logic. sent2: the striatum is a preemptor and it does contradistinguish Zimbalist if the Siren does not interleave logic. sent3: The logic does not interleave Siren. sent4: the Burberry is non-capitalist. sent5: if there exists something such that it does marbleize and is a kind of a preemptor the beta-adrenoceptor does demilitarize Siren. sent6: the Burberry interleaves mesocolon if it is capitalist and is inductive. sent7: something is a kind of a preemptor. sent8: the striatum does contradistinguish Zimbalist if the Siren does not interleave logic. sent9: there is something such that it marbleizes. sent10: the Burberry is not a capitalist but it is inductive. sent11: the Burberry does contradistinguish Zimbalist. sent12: if the Burberry interleaves mesocolon then the striatum marbleizes. sent13: if something does interleave logic it does contradistinguish Zimbalist. sent14: the Burberry interleaves logic if it does not interleave mesocolon and it does demilitarize Siren. sent15: if something does not interleave mesocolon but it marbleizes then it does not demilitarize Siren. sent16: the Burberry does interleave mesocolon if it is non-capitalist and inductive. sent17: the Burberry does interleave logic.
sent16 & sent10 -> int1: the Burberry does interleave mesocolon.; int1 & sent12 -> int2: the striatum marbleizes.; sent2 & sent1 -> int3: the striatum is a preemptor and it does contradistinguish Zimbalist.; int3 -> int4: the striatum is a kind of a preemptor.; int2 & int4 -> int5: the striatum does marbleize and is a preemptor.; int5 -> int6: there exists something such that it does marbleize and is a preemptor.; int6 & sent5 -> hypothesis;
the fact that the beta-adrenoceptor does not demilitarize Siren is true.
sent15 -> int7: the beta-adrenoceptor does not demilitarize Siren if it does not interleave mesocolon and it does marbleize.; sent13 -> int8: the Burberry contradistinguishes Zimbalist if it does interleave logic.; int8 & sent17 -> int9: the Burberry contradistinguishes Zimbalist.; int9 -> int10: there is something such that it contradistinguishes Zimbalist.;
$hypothesis$ = the beta-adrenoceptor does not demilitarize Siren. ; $context$ = sent1: the Siren does not interleave logic. sent2: the striatum is a preemptor and it does contradistinguish Zimbalist if the Siren does not interleave logic. sent3: The logic does not interleave Siren. sent4: the Burberry is non-capitalist. sent5: if there exists something such that it does marbleize and is a kind of a preemptor the beta-adrenoceptor does demilitarize Siren. sent6: the Burberry interleaves mesocolon if it is capitalist and is inductive. sent7: something is a kind of a preemptor. sent8: the striatum does contradistinguish Zimbalist if the Siren does not interleave logic. sent9: there is something such that it marbleizes. sent10: the Burberry is not a capitalist but it is inductive. sent11: the Burberry does contradistinguish Zimbalist. sent12: if the Burberry interleaves mesocolon then the striatum marbleizes. sent13: if something does interleave logic it does contradistinguish Zimbalist. sent14: the Burberry interleaves logic if it does not interleave mesocolon and it does demilitarize Siren. sent15: if something does not interleave mesocolon but it marbleizes then it does not demilitarize Siren. sent16: the Burberry does interleave mesocolon if it is non-capitalist and inductive. sent17: the Burberry does interleave logic. ; $proof$ = 
sent16 & sent10 -> int1: the Burberry does interleave mesocolon.; int1 & sent12 -> int2: the striatum marbleizes.; sent2 & sent1 -> int3: the striatum is a preemptor and it does contradistinguish Zimbalist.; int3 -> int4: the striatum is a kind of a preemptor.; int2 & int4 -> int5: the striatum does marbleize and is a preemptor.; int5 -> int6: there exists something such that it does marbleize and is a preemptor.; int6 & sent5 -> hypothesis; __DISPROVED__