the fact that not the defraying heth but the unpopularness occurs is not true.
sent1: the fact that the cohabitation does not occur but the defraying Arlington occurs is not right if the deprecation happens. sent2: that the defraying heth and the unpopularness happens does not hold. sent3: the Bath does not occur and the ratlikeness happens. sent4: the tempering billow does not occur. sent5: the defraying heth does not occur. sent6: the tempering billow occurs if the defraying heth occurs. sent7: the tempering billow occurs if the fact that not the defraying heth but the unpopularness occurs is not right. sent8: if the deprecation happens then the fact that the defraying heth does not occur and the unpopularness occurs does not hold. sent9: if that the tempering fleabane does not occur and the adjudication happens is wrong then the cataclinalness happens.
void -> assump1: Let's assume that that the defraying heth does not occur and the unpopularness happens is not true.; sent7 & assump1 -> int1: the tempering billow occurs.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
that not the defraying heth but the unpopularness occurs is not correct.
$hypothesis$ = the fact that not the defraying heth but the unpopularness occurs is not true. ; $context$ = sent1: the fact that the cohabitation does not occur but the defraying Arlington occurs is not right if the deprecation happens. sent2: that the defraying heth and the unpopularness happens does not hold. sent3: the Bath does not occur and the ratlikeness happens. sent4: the tempering billow does not occur. sent5: the defraying heth does not occur. sent6: the tempering billow occurs if the defraying heth occurs. sent7: the tempering billow occurs if the fact that not the defraying heth but the unpopularness occurs is not right. sent8: if the deprecation happens then the fact that the defraying heth does not occur and the unpopularness occurs does not hold. sent9: if that the tempering fleabane does not occur and the adjudication happens is wrong then the cataclinalness happens. ; $proof$ = 
void -> assump1: Let's assume that that the defraying heth does not occur and the unpopularness happens is not true.; sent7 & assump1 -> int1: the tempering billow occurs.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __DISPROVED__