the fact that the fact that the spinner thinks and it is a tilefish is correct is wrong.
sent1: if there exists something such that it does not drone impairer the taper does not extinguish SL and is a cavy. sent2: the spinner is a tilefish if the taper does not extinguish SL and is a cavy. sent3: the spinner is a think. sent4: the southland does not drone impairer. sent5: The impairer does not drone southland.
sent4 -> int1: there exists something such that it does not drone impairer.; int1 & sent1 -> int2: the taper does not extinguish SL but it is a cavy.; int2 & sent2 -> int3: that the spinner is a tilefish is not wrong.; int3 & sent3 -> hypothesis;
$hypothesis$ = the fact that the fact that the spinner thinks and it is a tilefish is correct is wrong. ; $context$ = sent1: if there exists something such that it does not drone impairer the taper does not extinguish SL and is a cavy. sent2: the spinner is a tilefish if the taper does not extinguish SL and is a cavy. sent3: the spinner is a think. sent4: the southland does not drone impairer. sent5: The impairer does not drone southland. ; $proof$ = 
sent4 -> int1: there exists something such that it does not drone impairer.; int1 & sent1 -> int2: the taper does not extinguish SL but it is a cavy.; int2 & sent2 -> int3: that the spinner is a tilefish is not wrong.; int3 & sent3 -> hypothesis; __DISPROVED__