the scopolamine is staphylococcal.
sent1: the scad is not far. sent2: if the scad is not a recklessness the fact that it does not trade and it is not far is wrong. sent3: if the scopolamine is a volatile then it is staphylococcal. sent4: if the scad is a trade then the scopolamine is a volatile. sent5: the scad is not a recklessness.
void -> assump1: Let's assume that the scad does not trade.; assump1 & sent1 -> int1: the scad is not a trade and it is not far.; sent2 & sent5 -> int2: that the scad is not a trade and is not far is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the scad trades.; int4 & sent4 -> int5: the scopolamine is a kind of a volatile.; int5 & sent3 -> hypothesis;
$hypothesis$ = the scopolamine is staphylococcal. ; $context$ = sent1: the scad is not far. sent2: if the scad is not a recklessness the fact that it does not trade and it is not far is wrong. sent3: if the scopolamine is a volatile then it is staphylococcal. sent4: if the scad is a trade then the scopolamine is a volatile. sent5: the scad is not a recklessness. ; $proof$ = 
void -> assump1: Let's assume that the scad does not trade.; assump1 & sent1 -> int1: the scad is not a trade and it is not far.; sent2 & sent5 -> int2: that the scad is not a trade and is not far is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the scad trades.; int4 & sent4 -> int5: the scopolamine is a kind of a volatile.; int5 & sent3 -> hypothesis; __PROVED__