that if the MEDLINE is providential then the sodium is heraldic is wrong.
sent1: something corkscrews silkiness and is not a Olivier if it is not a shutter. sent2: the propyl is heraldic a pelycosaur. sent3: the propyl is not a hausmannite if the solitaire is a Olivier. sent4: the sodium is heraldic if the propyl is not a kind of a hausmannite and does not corkscrew tuning. sent5: if there exists something such that it does corkscrew silkiness then the sodium is providential. sent6: if the dexamethasone is not a kind of a pelycosaur then the bragger does not corkscrew tuning but it does coach seamanship. sent7: the MEDLINE does not corkscrew silkiness if it is providential. sent8: the solitaire corkscrews silkiness and it does shutter if the MEDLINE does not corkscrews silkiness. sent9: the dexamethasone is not a pelycosaur. sent10: the solitaire does not corkscrew tuning and is a kind of a hausmannite if the propyl is heraldic. sent11: if the fact that the bragger does not corkscrew tuning but it does coach seamanship is right the propyl does not corkscrew tuning. sent12: if something corkscrews silkiness then it is a Olivier.
void -> assump1: Let's assume that the MEDLINE is providential.; sent7 & assump1 -> int1: the MEDLINE does not corkscrew silkiness.; int1 & sent8 -> int2: the solitaire corkscrews silkiness and does shutter.; int2 -> int3: the solitaire does corkscrew silkiness.; sent12 -> int4: the solitaire is a kind of a Olivier if it corkscrews silkiness.; int3 & int4 -> int5: the solitaire is a Olivier.; int5 & sent3 -> int6: the propyl is not a hausmannite.; sent6 & sent9 -> int7: the bragger does not corkscrew tuning but it does coach seamanship.; sent11 & int7 -> int8: the propyl does not corkscrew tuning.; int6 & int8 -> int9: the propyl is not a hausmannite and it does not corkscrew tuning.; int9 & sent4 -> int10: the sodium is heraldic.; [assump1] & int10 -> hypothesis;
the sodium is not non-providential.
sent1 -> int11: if the fact that the MEDLINE does not shutter is not wrong then the fact that it does corkscrew silkiness and is not a Olivier is true.; sent2 -> int12: the propyl is heraldic.; sent10 & int12 -> int13: the solitaire does not corkscrew tuning and is a hausmannite.; int13 -> int14: something does not corkscrew tuning and is a kind of a hausmannite.;
$hypothesis$ = that if the MEDLINE is providential then the sodium is heraldic is wrong. ; $context$ = sent1: something corkscrews silkiness and is not a Olivier if it is not a shutter. sent2: the propyl is heraldic a pelycosaur. sent3: the propyl is not a hausmannite if the solitaire is a Olivier. sent4: the sodium is heraldic if the propyl is not a kind of a hausmannite and does not corkscrew tuning. sent5: if there exists something such that it does corkscrew silkiness then the sodium is providential. sent6: if the dexamethasone is not a kind of a pelycosaur then the bragger does not corkscrew tuning but it does coach seamanship. sent7: the MEDLINE does not corkscrew silkiness if it is providential. sent8: the solitaire corkscrews silkiness and it does shutter if the MEDLINE does not corkscrews silkiness. sent9: the dexamethasone is not a pelycosaur. sent10: the solitaire does not corkscrew tuning and is a kind of a hausmannite if the propyl is heraldic. sent11: if the fact that the bragger does not corkscrew tuning but it does coach seamanship is right the propyl does not corkscrew tuning. sent12: if something corkscrews silkiness then it is a Olivier. ; $proof$ = 
void -> assump1: Let's assume that the MEDLINE is providential.; sent7 & assump1 -> int1: the MEDLINE does not corkscrew silkiness.; int1 & sent8 -> int2: the solitaire corkscrews silkiness and does shutter.; int2 -> int3: the solitaire does corkscrew silkiness.; sent12 -> int4: the solitaire is a kind of a Olivier if it corkscrews silkiness.; int3 & int4 -> int5: the solitaire is a Olivier.; int5 & sent3 -> int6: the propyl is not a hausmannite.; sent6 & sent9 -> int7: the bragger does not corkscrew tuning but it does coach seamanship.; sent11 & int7 -> int8: the propyl does not corkscrew tuning.; int6 & int8 -> int9: the propyl is not a hausmannite and it does not corkscrew tuning.; int9 & sent4 -> int10: the sodium is heraldic.; [assump1] & int10 -> hypothesis; __DISPROVED__