the fact that if the teasing does not occur the alphanumericness occurs and the Caliphate occurs is not true.
sent1: if the fact that the Mark does not occur is true the fact that both the non-Augustanness and the nonhumanness occurs is not correct. sent2: the fact that the billiardsness but not the cheliferousness happens is not right if the altitudinalness happens. sent3: the altitudinalness occurs if that the slinking does not occur and the astronomicness happens is incorrect. sent4: that the fruition but not the wilting happens brings about the Caliphate. sent5: the amendment occurs. sent6: if the fact that the billiardsness happens and the cheliferousness does not occur is not true the alphanumericness happens. sent7: the champerty happens but the levorotation does not occur. sent8: the wilt does not occur if that the hospitalization does not occur and the evicting drawee does not occur does not hold. sent9: the fact that not the slinking but the astronomicness happens does not hold if the teasing does not occur. sent10: if the amendment happens then the fact that the hospitalization does not occur and the evicting drawee does not occur is not true. sent11: the fruition happens.
void -> assump1: Let's assume that the teasing does not occur.; sent9 & assump1 -> int1: the fact that not the slinking but the astronomicness happens is not right.; int1 & sent3 -> int2: the altitudinalness happens.; int2 & sent2 -> int3: that the fact that both the billiardsness and the non-cheliferousness occurs is not true is right.; int3 & sent6 -> int4: the alphanumericness occurs.; sent10 & sent5 -> int5: the fact that the hospitalization does not occur and the evicting drawee does not occur is not correct.; sent8 & int5 -> int6: the wilting does not occur.; sent11 & int6 -> int7: the fruition happens but the wilt does not occur.; sent4 & int7 -> int8: the Caliphate occurs.; int4 & int8 -> int9: both the alphanumericness and the Caliphate happens.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the fact that if the teasing does not occur the alphanumericness occurs and the Caliphate occurs is not true. ; $context$ = sent1: if the fact that the Mark does not occur is true the fact that both the non-Augustanness and the nonhumanness occurs is not correct. sent2: the fact that the billiardsness but not the cheliferousness happens is not right if the altitudinalness happens. sent3: the altitudinalness occurs if that the slinking does not occur and the astronomicness happens is incorrect. sent4: that the fruition but not the wilting happens brings about the Caliphate. sent5: the amendment occurs. sent6: if the fact that the billiardsness happens and the cheliferousness does not occur is not true the alphanumericness happens. sent7: the champerty happens but the levorotation does not occur. sent8: the wilt does not occur if that the hospitalization does not occur and the evicting drawee does not occur does not hold. sent9: the fact that not the slinking but the astronomicness happens does not hold if the teasing does not occur. sent10: if the amendment happens then the fact that the hospitalization does not occur and the evicting drawee does not occur is not true. sent11: the fruition happens. ; $proof$ = 
void -> assump1: Let's assume that the teasing does not occur.; sent9 & assump1 -> int1: the fact that not the slinking but the astronomicness happens is not right.; int1 & sent3 -> int2: the altitudinalness happens.; int2 & sent2 -> int3: that the fact that both the billiardsness and the non-cheliferousness occurs is not true is right.; int3 & sent6 -> int4: the alphanumericness occurs.; sent10 & sent5 -> int5: the fact that the hospitalization does not occur and the evicting drawee does not occur is not correct.; sent8 & int5 -> int6: the wilting does not occur.; sent11 & int6 -> int7: the fruition happens but the wilt does not occur.; sent4 & int7 -> int8: the Caliphate occurs.; int4 & int8 -> int9: both the alphanumericness and the Caliphate happens.; [assump1] & int9 -> hypothesis; __DISPROVED__