that either the knee-high is a Fiedler or it is not a kind of a Surya or both is false.
sent1: if that something is not a Sikh is not false then either it does not cope skin or it is a hint or both. sent2: if the youth-on-age is a hint then that the DS is vestmental is not false. sent3: the DS is mandibulate. sent4: the DS is not vestmental. sent5: if the fact that the youth-on-age is either not mandibulate or not non-medicolegal or both hold then the knee-high copes skin. sent6: if either something does not cope skin or it is a kind of a hint or both it is not vestmental. sent7: if the knee-high copes skin it is a Fiedler or it is not a Surya or both. sent8: the fact that if that either the youth-on-age is not mandibulate or it is medicolegal or both does not hold the fact that that the youth-on-age is not a kind of a hint is true is not true is not false. sent9: if the youth-on-age is not vestmental that the knee-high is a Fiedler or not a Surya or both is not right.
void -> assump1: Let's assume that that the youth-on-age is non-mandibulate and/or medicolegal is incorrect.; sent8 & assump1 -> int1: the youth-on-age hints.; int1 & sent2 -> int2: the DS is vestmental.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the youth-on-age is not mandibulate or it is medicolegal or both.; int4 & sent5 -> int5: the knee-high does cope skin.; int5 & sent7 -> hypothesis;
that the fact that the knee-high is a Fiedler and/or it is not a Surya is not wrong is false.
sent6 -> int6: if the youth-on-age does not cope skin and/or is a hint then it is not vestmental.; sent1 -> int7: if the youth-on-age is not a kind of a Sikh it either does not cope skin or does hint or both.;
$hypothesis$ = that either the knee-high is a Fiedler or it is not a kind of a Surya or both is false. ; $context$ = sent1: if that something is not a Sikh is not false then either it does not cope skin or it is a hint or both. sent2: if the youth-on-age is a hint then that the DS is vestmental is not false. sent3: the DS is mandibulate. sent4: the DS is not vestmental. sent5: if the fact that the youth-on-age is either not mandibulate or not non-medicolegal or both hold then the knee-high copes skin. sent6: if either something does not cope skin or it is a kind of a hint or both it is not vestmental. sent7: if the knee-high copes skin it is a Fiedler or it is not a Surya or both. sent8: the fact that if that either the youth-on-age is not mandibulate or it is medicolegal or both does not hold the fact that that the youth-on-age is not a kind of a hint is true is not true is not false. sent9: if the youth-on-age is not vestmental that the knee-high is a Fiedler or not a Surya or both is not right. ; $proof$ = 
void -> assump1: Let's assume that that the youth-on-age is non-mandibulate and/or medicolegal is incorrect.; sent8 & assump1 -> int1: the youth-on-age hints.; int1 & sent2 -> int2: the DS is vestmental.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the youth-on-age is not mandibulate or it is medicolegal or both.; int4 & sent5 -> int5: the knee-high does cope skin.; int5 & sent7 -> hypothesis; __DISPROVED__