the repairing pyramid does not occur and/or the gladdening Ereshkigal does not occur if the virtuousness happens.
sent1: if the repairing anastrophe does not occur but the repairing pyramid happens that the virtuousness does not occur is correct. sent2: the repairing anastrophe does not occur if the anthropometricness does not occur. sent3: both the anthropometricness and the virtuousness occurs if the gladdening Ereshkigal does not occur. sent4: the repairing anastrophe occurs if the gladdening Gidar occurs. sent5: if the fact that the gladdening Gidar does not occur is not incorrect the sacerdotalness does not occur. sent6: the gladdening Ereshkigal does not occur if the fact that the illegitimateness does not occur and the gladdening Ereshkigal occurs is incorrect. sent7: the apothegmaticness happens and/or the glowing does not occur. sent8: the gladdening Gidar or the non-anthropometricness or both happens. sent9: the repairing anastrophe does not occur if the gladdening Gidar happens.
sent8 & sent9 & sent2 -> int1: the repairing anastrophe does not occur.; void -> assump1: Let's assume that the repairing pyramid occurs.; int1 & assump1 -> int2: not the repairing anastrophe but the repairing pyramid occurs.; int2 & sent1 -> int3: the virtuousness does not occur.; void -> assump2: Let's assume that the virtuousness occurs.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the repairing pyramid does not occur.; int5 -> int6: the repairing pyramid does not occur and/or the gladdening Ereshkigal does not occur.; [assump2] & int6 -> hypothesis;
the occult happens and/or the sacerdotalness does not occur.
$hypothesis$ = the repairing pyramid does not occur and/or the gladdening Ereshkigal does not occur if the virtuousness happens. ; $context$ = sent1: if the repairing anastrophe does not occur but the repairing pyramid happens that the virtuousness does not occur is correct. sent2: the repairing anastrophe does not occur if the anthropometricness does not occur. sent3: both the anthropometricness and the virtuousness occurs if the gladdening Ereshkigal does not occur. sent4: the repairing anastrophe occurs if the gladdening Gidar occurs. sent5: if the fact that the gladdening Gidar does not occur is not incorrect the sacerdotalness does not occur. sent6: the gladdening Ereshkigal does not occur if the fact that the illegitimateness does not occur and the gladdening Ereshkigal occurs is incorrect. sent7: the apothegmaticness happens and/or the glowing does not occur. sent8: the gladdening Gidar or the non-anthropometricness or both happens. sent9: the repairing anastrophe does not occur if the gladdening Gidar happens. ; $proof$ = 
sent8 & sent9 & sent2 -> int1: the repairing anastrophe does not occur.; void -> assump1: Let's assume that the repairing pyramid occurs.; int1 & assump1 -> int2: not the repairing anastrophe but the repairing pyramid occurs.; int2 & sent1 -> int3: the virtuousness does not occur.; void -> assump2: Let's assume that the virtuousness occurs.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the repairing pyramid does not occur.; int5 -> int6: the repairing pyramid does not occur and/or the gladdening Ereshkigal does not occur.; [assump2] & int6 -> hypothesis; __PROVED__