the fact that not the circumstances but the Triassicness occurs is false.
sent1: if the expiring physa does not occur that the circumstances does not occur and the Triassicness happens does not hold. sent2: if both the expiring physa and the occupation happens then the daycare does not occur. sent3: the broadsiding portability happens. sent4: the broadsiding touched does not occur. sent5: the Albigensianness does not occur. sent6: the occupation occurs. sent7: if the broadsiding touched does not occur the daycare happens and the Hawaiian occurs. sent8: the attainder occurs and the accumulation happens.
void -> assump1: Let's assume that the expiring physa occurs.; assump1 & sent6 -> int1: the expiring physa and the occupation happens.; int1 & sent2 -> int2: the daycare does not occur.; sent7 & sent4 -> int3: that the daycare and the Hawaiianness happens is correct.; int3 -> int4: the daycare happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the expiring physa does not occur.; int6 & sent1 -> hypothesis;
$hypothesis$ = the fact that not the circumstances but the Triassicness occurs is false. ; $context$ = sent1: if the expiring physa does not occur that the circumstances does not occur and the Triassicness happens does not hold. sent2: if both the expiring physa and the occupation happens then the daycare does not occur. sent3: the broadsiding portability happens. sent4: the broadsiding touched does not occur. sent5: the Albigensianness does not occur. sent6: the occupation occurs. sent7: if the broadsiding touched does not occur the daycare happens and the Hawaiian occurs. sent8: the attainder occurs and the accumulation happens. ; $proof$ = 
void -> assump1: Let's assume that the expiring physa occurs.; assump1 & sent6 -> int1: the expiring physa and the occupation happens.; int1 & sent2 -> int2: the daycare does not occur.; sent7 & sent4 -> int3: that the daycare and the Hawaiianness happens is correct.; int3 -> int4: the daycare happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the expiring physa does not occur.; int6 & sent1 -> hypothesis; __PROVED__