the fact that there is something such that if that it is not branchiate is correct then it does whang leaven and is a griminess is wrong.
sent1: that the dovetail does whang leaven hold if it is not branchiate. sent2: something whangs leaven and is a griminess if it is not branchiate.
sent2 -> int1: the dovetail whangs leaven and it is a griminess if it is not branchiate.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if that it is not branchiate is correct then it does whang leaven and is a griminess is wrong. ; $context$ = sent1: that the dovetail does whang leaven hold if it is not branchiate. sent2: something whangs leaven and is a griminess if it is not branchiate. ; $proof$ = 
sent2 -> int1: the dovetail whangs leaven and it is a griminess if it is not branchiate.; int1 -> hypothesis; __DISPROVED__