the saran presumes if the assessor is vagile.
sent1: the fact that the assessor is not vagile if the saran is not a Nycticebus and/or is an apron is right. sent2: if something is a kind of a Nycticebus then it is vagile. sent3: something does presume if it is a kind of a Nycticebus. sent4: if something is an apron then it is not a Nycticebus. sent5: that the scopolamine is not unplayable or it does detach or both is not wrong. sent6: the assessor is both not uvular and not sternal if it is playable. sent7: the saran is a Nycticebus and/or it is an apron. sent8: if the saran does not presume then the oxidation is an apron and it is vagile.
void -> assump1: Let's assume that the fact that the saran is not a Nycticebus is true.; assump1 -> int1: the saran is not a Nycticebus or an apron or both.; int1 & sent1 -> int2: the assessor is not vagile.; void -> assump2: Let's assume that the assessor is vagile.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the saran is a kind of a Nycticebus.; sent3 -> int5: if the saran is a Nycticebus then it does presume.; int4 & int5 -> int6: the fact that the saran presumes is right.; [assump2] & int6 -> hypothesis;
the oxidation is not a Nycticebus.
sent4 -> int7: if the oxidation is an apron it is not a Nycticebus.; sent5 -> int8: something is playable and/or detaches.;
$hypothesis$ = the saran presumes if the assessor is vagile. ; $context$ = sent1: the fact that the assessor is not vagile if the saran is not a Nycticebus and/or is an apron is right. sent2: if something is a kind of a Nycticebus then it is vagile. sent3: something does presume if it is a kind of a Nycticebus. sent4: if something is an apron then it is not a Nycticebus. sent5: that the scopolamine is not unplayable or it does detach or both is not wrong. sent6: the assessor is both not uvular and not sternal if it is playable. sent7: the saran is a Nycticebus and/or it is an apron. sent8: if the saran does not presume then the oxidation is an apron and it is vagile. ; $proof$ = 
void -> assump1: Let's assume that the fact that the saran is not a Nycticebus is true.; assump1 -> int1: the saran is not a Nycticebus or an apron or both.; int1 & sent1 -> int2: the assessor is not vagile.; void -> assump2: Let's assume that the assessor is vagile.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the saran is a kind of a Nycticebus.; sent3 -> int5: if the saran is a Nycticebus then it does presume.; int4 & int5 -> int6: the fact that the saran presumes is right.; [assump2] & int6 -> hypothesis; __PROVED__