the aciculateness happens.
sent1: the fact that the sinking occurs hold. sent2: if the paging marginality does not occur the pressing does not occur and the clitoridectomy occurs. sent3: if the pressing occurs then the congratulating Theravada does not occur. sent4: the clitoridectomy does not occur if the congratulating Theravada occurs and the aciculateness occurs. sent5: if the congratulating Theravada does not occur then the fact that the clitoridectomy does not occur but the discussing occurs is false. sent6: the paging marginality does not occur. sent7: the discussing happens if the sinking happens. sent8: the mercurialness does not occur. sent9: the congratulating Theravada occurs if the discussing happens. sent10: the propitiating occurs if the congratulating bushtit happens. sent11: the pressing does not occur if the paging marginality does not occur.
sent7 & sent1 -> int1: the discussing occurs.; int1 & sent9 -> int2: the congratulating Theravada happens.; void -> assump1: Let's assume that the aciculateness happens.; int2 & assump1 -> int3: both the congratulating Theravada and the aciculateness happens.; int3 & sent4 -> int4: the clitoridectomy does not occur.; sent2 & sent6 -> int5: the pressing does not occur and the clitoridectomy occurs.; int5 -> int6: the clitoridectomy occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the aciculateness happens.
$hypothesis$ = the aciculateness happens. ; $context$ = sent1: the fact that the sinking occurs hold. sent2: if the paging marginality does not occur the pressing does not occur and the clitoridectomy occurs. sent3: if the pressing occurs then the congratulating Theravada does not occur. sent4: the clitoridectomy does not occur if the congratulating Theravada occurs and the aciculateness occurs. sent5: if the congratulating Theravada does not occur then the fact that the clitoridectomy does not occur but the discussing occurs is false. sent6: the paging marginality does not occur. sent7: the discussing happens if the sinking happens. sent8: the mercurialness does not occur. sent9: the congratulating Theravada occurs if the discussing happens. sent10: the propitiating occurs if the congratulating bushtit happens. sent11: the pressing does not occur if the paging marginality does not occur. ; $proof$ = 
sent7 & sent1 -> int1: the discussing occurs.; int1 & sent9 -> int2: the congratulating Theravada happens.; void -> assump1: Let's assume that the aciculateness happens.; int2 & assump1 -> int3: both the congratulating Theravada and the aciculateness happens.; int3 & sent4 -> int4: the clitoridectomy does not occur.; sent2 & sent6 -> int5: the pressing does not occur and the clitoridectomy occurs.; int5 -> int6: the clitoridectomy occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__