the Argentinian does not cascade decidua.
sent1: something is blue-collar and it is an adjective if it is not phrenological. sent2: the Argentinian either is heavenly or does not confederate burg or both. sent3: there is something such that that it is not a Jotun and it is a shingling does not hold. sent4: if something deactivates denunciation it cascades decidua. sent5: the Argentinian is a Jewess. sent6: the elk does deactivate denunciation. sent7: if something is blue-collar it deactivates denunciation. sent8: if the tyramine is a Jotun the fact that it is not phrenological is not incorrect. sent9: the Argentinian does deactivate denunciation if it is heavenly or it does not confederate burg or both. sent10: the Argentinian does deactivate denunciation if it is heavenly.
sent9 & sent2 -> int1: that the Argentinian deactivates denunciation hold.; sent4 -> int2: if the Argentinian deactivates denunciation it does cascade decidua.; int1 & int2 -> hypothesis;
the Argentinian does not cascade decidua.
sent7 -> int3: if the tyramine is blue-collar then it does deactivate denunciation.; sent1 -> int4: the tyramine is blue-collar and it is adjective if it is not phrenological.;
$hypothesis$ = the Argentinian does not cascade decidua. ; $context$ = sent1: something is blue-collar and it is an adjective if it is not phrenological. sent2: the Argentinian either is heavenly or does not confederate burg or both. sent3: there is something such that that it is not a Jotun and it is a shingling does not hold. sent4: if something deactivates denunciation it cascades decidua. sent5: the Argentinian is a Jewess. sent6: the elk does deactivate denunciation. sent7: if something is blue-collar it deactivates denunciation. sent8: if the tyramine is a Jotun the fact that it is not phrenological is not incorrect. sent9: the Argentinian does deactivate denunciation if it is heavenly or it does not confederate burg or both. sent10: the Argentinian does deactivate denunciation if it is heavenly. ; $proof$ = 
sent9 & sent2 -> int1: that the Argentinian deactivates denunciation hold.; sent4 -> int2: if the Argentinian deactivates denunciation it does cascade decidua.; int1 & int2 -> hypothesis; __DISPROVED__