the fact that that there exists something such that if it is both a refit and not a calculation it is bubaline is not false does not hold.
sent1: the experimenter is bubaline if it is a refit and is not a calculation.
sent1 -> hypothesis;
$hypothesis$ = the fact that that there exists something such that if it is both a refit and not a calculation it is bubaline is not false does not hold. ; $context$ = sent1: the experimenter is bubaline if it is a refit and is not a calculation. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__