the proctoscopy occurs.
sent1: the headquartering scheme does not occur if the outgeneraling waiter occurs. sent2: the rhinotomy occurs. sent3: the outgeneraling Demotic does not occur. sent4: if the dinging kitten does not occur then the abhorring occurs. sent5: the override does not occur. sent6: that the Dalmatian does not occur causes that the proctoscopy happens. sent7: if the override does not occur then the recounting happens and the obfuscation happens. sent8: the American happens. sent9: not the electromagneticness but the throning happens. sent10: the freight results in that the Congolese does not occur. sent11: the ascension happens. sent12: the breakage does not occur. sent13: the dinging Boston does not occur. sent14: the electromagneticness does not occur. sent15: the freighting happens.
sent10 & sent15 -> int1: the Congolese does not occur.; void -> assump1: Let's assume that the Dalmatian happens.; int1 & assump1 -> int2: the non-Congoleseness and the Dalmatian occurs.; sent7 & sent5 -> int3: the recounting and the obfuscation happens.; int3 -> int4: the recounting happens.;
$hypothesis$ = the proctoscopy occurs. ; $context$ = sent1: the headquartering scheme does not occur if the outgeneraling waiter occurs. sent2: the rhinotomy occurs. sent3: the outgeneraling Demotic does not occur. sent4: if the dinging kitten does not occur then the abhorring occurs. sent5: the override does not occur. sent6: that the Dalmatian does not occur causes that the proctoscopy happens. sent7: if the override does not occur then the recounting happens and the obfuscation happens. sent8: the American happens. sent9: not the electromagneticness but the throning happens. sent10: the freight results in that the Congolese does not occur. sent11: the ascension happens. sent12: the breakage does not occur. sent13: the dinging Boston does not occur. sent14: the electromagneticness does not occur. sent15: the freighting happens. ; $proof$ = 
sent10 & sent15 -> int1: the Congolese does not occur.; void -> assump1: Let's assume that the Dalmatian happens.; int1 & assump1 -> int2: the non-Congoleseness and the Dalmatian occurs.; sent7 & sent5 -> int3: the recounting and the obfuscation happens.; int3 -> int4: the recounting happens.; __UNKNOWN__