that if the telpher is unsympathetic then the buckle does neglect telpher is false.
sent1: if something is experiential and is not a kind of a secularization then that it is unsympathetic is not wrong. sent2: that the buckle is unsympathetic is true. sent3: the thrombolytic is unsympathetic. sent4: if the telpher is a secularization then it does neglect telpher. sent5: the telpher does neglect telpher. sent6: something is a secularization if it is experiential. sent7: the buckle neglects telpher if the telpher is a secularization. sent8: the buckle is experiential. sent9: if the telpher is unsympathetic then it is experiential.
void -> assump1: Let's assume that the fact that the telpher is unsympathetic hold.; sent9 & assump1 -> int1: the telpher is experiential.; sent6 -> int2: if the telpher is experiential it is a secularization.; int1 & int2 -> int3: the telpher is a kind of a secularization.; int3 & sent7 -> int4: the buckle does neglect telpher.; [assump1] & int4 -> hypothesis;
the wirer is unsympathetic.
sent1 -> int5: the wirer is unsympathetic if it is experiential and it is not a kind of a secularization.;
$hypothesis$ = that if the telpher is unsympathetic then the buckle does neglect telpher is false. ; $context$ = sent1: if something is experiential and is not a kind of a secularization then that it is unsympathetic is not wrong. sent2: that the buckle is unsympathetic is true. sent3: the thrombolytic is unsympathetic. sent4: if the telpher is a secularization then it does neglect telpher. sent5: the telpher does neglect telpher. sent6: something is a secularization if it is experiential. sent7: the buckle neglects telpher if the telpher is a secularization. sent8: the buckle is experiential. sent9: if the telpher is unsympathetic then it is experiential. ; $proof$ = 
void -> assump1: Let's assume that the fact that the telpher is unsympathetic hold.; sent9 & assump1 -> int1: the telpher is experiential.; sent6 -> int2: if the telpher is experiential it is a secularization.; int1 & int2 -> int3: the telpher is a kind of a secularization.; int3 & sent7 -> int4: the buckle does neglect telpher.; [assump1] & int4 -> hypothesis; __DISPROVED__