the octangularness occurs if that the attentionalness happens does not hold.
sent1: the fact that not the repoting majorette but the repoting grizzled occurs is not true. sent2: the choralness does not occur. sent3: if the repoting Thorshavn does not occur not the Aleutianness but the upholding thromboplastin occurs. sent4: the fact that the octangularness happens is correct if the repoting Thorshavn occurs. sent5: that the disposition does not occur but the octangularness occurs is not true if the repoting grizzled does not occur. sent6: if the fact that the cartoon does not occur but the arterioscleroticness happens is wrong then the repoting Thorshavn happens. sent7: the fact that the cross-culturalness happens hold if the lymphangiography happens. sent8: not the reviving but the shears happens. sent9: if the attentionalness occurs the octangularness happens. sent10: if not the cartoon but the arterioscleroticness happens then the attentionalness happens. sent11: the octangularness does not occur if that the disposition does not occur but the octangularness happens is wrong. sent12: that the arterioscleroticness does not occur leads to that the repoting Thorshavn occurs.
void -> assump1: Let's assume that not the cartoon but the arterioscleroticness happens.; sent10 & assump1 -> int1: the attentionalness occurs.; void -> assump2: Let's assume that the attentionalness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the cartoon but the arterioscleroticness happens is not right.; sent6 & int3 -> int4: the repoting Thorshavn occurs.; sent4 & int4 -> int5: the octangularness happens.; [assump2] & int5 -> hypothesis;
the non-Aleutianness and the upholding thromboplastin happens.
$hypothesis$ = the octangularness occurs if that the attentionalness happens does not hold. ; $context$ = sent1: the fact that not the repoting majorette but the repoting grizzled occurs is not true. sent2: the choralness does not occur. sent3: if the repoting Thorshavn does not occur not the Aleutianness but the upholding thromboplastin occurs. sent4: the fact that the octangularness happens is correct if the repoting Thorshavn occurs. sent5: that the disposition does not occur but the octangularness occurs is not true if the repoting grizzled does not occur. sent6: if the fact that the cartoon does not occur but the arterioscleroticness happens is wrong then the repoting Thorshavn happens. sent7: the fact that the cross-culturalness happens hold if the lymphangiography happens. sent8: not the reviving but the shears happens. sent9: if the attentionalness occurs the octangularness happens. sent10: if not the cartoon but the arterioscleroticness happens then the attentionalness happens. sent11: the octangularness does not occur if that the disposition does not occur but the octangularness happens is wrong. sent12: that the arterioscleroticness does not occur leads to that the repoting Thorshavn occurs. ; $proof$ = 
void -> assump1: Let's assume that not the cartoon but the arterioscleroticness happens.; sent10 & assump1 -> int1: the attentionalness occurs.; void -> assump2: Let's assume that the attentionalness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the cartoon but the arterioscleroticness happens is not right.; sent6 & int3 -> int4: the repoting Thorshavn occurs.; sent4 & int4 -> int5: the octangularness happens.; [assump2] & int5 -> hypothesis; __PROVED__