that the contract occurs if the hearing Leakey occurs is not right.
sent1: the quadraticsness happens if that the hearing cardiomegaly occurs hold. sent2: the trabecularness happens. sent3: the southeaster happens. sent4: the hearing suffragism occurs. sent5: that the hearing Leakey happens prevents the unworthyness. sent6: if the worthy occurs the contracting occurs. sent7: the pyrecticness happens if the date occurs. sent8: if the yawning occurs the sterileness occurs.
void -> assump1: Let's assume that the hearing Leakey happens.; sent5 & assump1 -> int1: the worthy occurs.; sent6 & int1 -> int2: the contract occurs.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the contract occurs if the hearing Leakey occurs is not right. ; $context$ = sent1: the quadraticsness happens if that the hearing cardiomegaly occurs hold. sent2: the trabecularness happens. sent3: the southeaster happens. sent4: the hearing suffragism occurs. sent5: that the hearing Leakey happens prevents the unworthyness. sent6: if the worthy occurs the contracting occurs. sent7: the pyrecticness happens if the date occurs. sent8: if the yawning occurs the sterileness occurs. ; $proof$ = 
void -> assump1: Let's assume that the hearing Leakey happens.; sent5 & assump1 -> int1: the worthy occurs.; sent6 & int1 -> int2: the contract occurs.; [assump1] & int2 -> hypothesis; __DISPROVED__