that the fact that there is something such that if that it is systematic hold then that the fact that it is non-first and it is systolic is correct is not true hold is not correct.
sent1: the fact that something is not first and is systolic is incorrect if it is not unsystematic.
sent1 -> int1: if the batiste is systematic that it is not a first and is systolic is not true.; int1 -> hypothesis;
$hypothesis$ = that the fact that there is something such that if that it is systematic hold then that the fact that it is non-first and it is systolic is correct is not true hold is not correct. ; $context$ = sent1: the fact that something is not first and is systolic is incorrect if it is not unsystematic. ; $proof$ = 
sent1 -> int1: if the batiste is systematic that it is not a first and is systolic is not true.; int1 -> hypothesis; __DISPROVED__