the dexamethasone is a kind of a wake.
sent1: the nonconformist does open. sent2: if something is a kind of a cannibal it is a Laurus. sent3: the nonconformist does open and it is a kind of a cannibal. sent4: the eye-lotion does process Strasbourg if the nonconformist is a Laurus. sent5: the dexamethasone does guarantee salted if the eye-lotion processes Strasbourg. sent6: something does dissent Hayek if it is a cannibal. sent7: something that guarantees salted is a kind of a wake.
sent3 -> int1: the nonconformist is a kind of a cannibal.; sent2 -> int2: if the nonconformist is a kind of a cannibal it is a kind of a Laurus.; int1 & int2 -> int3: the nonconformist is a Laurus.; int3 & sent4 -> int4: the eye-lotion processes Strasbourg.; int4 & sent5 -> int5: that the dexamethasone guarantees salted is right.; sent7 -> int6: the dexamethasone is a kind of a wake if it does guarantee salted.; int5 & int6 -> hypothesis;
the jackstraws dissents Hayek if it is a cannibal.
sent6 -> hypothesis;
$hypothesis$ = the dexamethasone is a kind of a wake. ; $context$ = sent1: the nonconformist does open. sent2: if something is a kind of a cannibal it is a Laurus. sent3: the nonconformist does open and it is a kind of a cannibal. sent4: the eye-lotion does process Strasbourg if the nonconformist is a Laurus. sent5: the dexamethasone does guarantee salted if the eye-lotion processes Strasbourg. sent6: something does dissent Hayek if it is a cannibal. sent7: something that guarantees salted is a kind of a wake. ; $proof$ = 
sent3 -> int1: the nonconformist is a kind of a cannibal.; sent2 -> int2: if the nonconformist is a kind of a cannibal it is a kind of a Laurus.; int1 & int2 -> int3: the nonconformist is a Laurus.; int3 & sent4 -> int4: the eye-lotion processes Strasbourg.; int4 & sent5 -> int5: that the dexamethasone guarantees salted is right.; sent7 -> int6: the dexamethasone is a kind of a wake if it does guarantee salted.; int5 & int6 -> hypothesis; __PROVED__