the HAZMAT is a bisexuality.
sent1: that the crossjack does not major and is viatical is incorrect if the atavist is major. sent2: the atavist is a kind of a majors if there exists something such that it is ocular. sent3: that something is non-majors but it is ocular does not hold if it is not non-viatical. sent4: if the crossjack is a bisexuality it does crack. sent5: something is ocular. sent6: if something is a crack then it is viatical. sent7: if the crossjack is not a crack the HAZMAT is not a bisexuality. sent8: if the fact that something is not majors but it is viatical does not hold it is not a kind of a crack.
sent5 & sent2 -> int1: the atavist is a kind of a majors.; int1 & sent1 -> int2: the fact that the crossjack is not majors but it is viatical does not hold.; sent8 -> int3: the crossjack is not a kind of a crack if the fact that it is not a majors but viatical is not true.; int2 & int3 -> int4: the crossjack is not a crack.; int4 & sent7 -> hypothesis;
there is something such that it is earlier.
sent3 -> int5: if the crossjack is viatical then the fact that it is non-majors and it is ocular does not hold.; sent6 -> int6: the fact that if the crossjack cracks the crossjack is viatical is not incorrect.;
$hypothesis$ = the HAZMAT is a bisexuality. ; $context$ = sent1: that the crossjack does not major and is viatical is incorrect if the atavist is major. sent2: the atavist is a kind of a majors if there exists something such that it is ocular. sent3: that something is non-majors but it is ocular does not hold if it is not non-viatical. sent4: if the crossjack is a bisexuality it does crack. sent5: something is ocular. sent6: if something is a crack then it is viatical. sent7: if the crossjack is not a crack the HAZMAT is not a bisexuality. sent8: if the fact that something is not majors but it is viatical does not hold it is not a kind of a crack. ; $proof$ = 
sent5 & sent2 -> int1: the atavist is a kind of a majors.; int1 & sent1 -> int2: the fact that the crossjack is not majors but it is viatical does not hold.; sent8 -> int3: the crossjack is not a kind of a crack if the fact that it is not a majors but viatical is not true.; int2 & int3 -> int4: the crossjack is not a crack.; int4 & sent7 -> hypothesis; __DISPROVED__