not the clanking but the carcinomatousness occurs.
sent1: that both the binding and the civicness happens is incorrect if the psychologicalness does not occur. sent2: if the brachycephalicness does not occur then the fact that the clanking does not occur but the carcinomatousness occurs is right. sent3: if the civicness occurs the quenching Thursday happens. sent4: the articularness and the immoralness happens. sent5: that the fact that not the clanking but the carcinomatousness happens is not correct is true if the bind does not occur. sent6: the binding occurs and the psychologicalness happens. sent7: if the binding happens then the civicness happens. sent8: that the immoralness and the quenching Thursday occurs prevents the brachycephalic.
sent6 -> int1: the bind occurs.; int1 & sent7 -> int2: the civicness happens.; int2 & sent3 -> int3: the quenching Thursday happens.; sent4 -> int4: the immoralness occurs.; int3 & int4 -> int5: the immoralness happens and the quenching Thursday happens.; int5 & sent8 -> int6: the brachycephalic does not occur.; int6 & sent2 -> hypothesis;
that the clanking does not occur and the carcinomatousness happens is wrong.
$hypothesis$ = not the clanking but the carcinomatousness occurs. ; $context$ = sent1: that both the binding and the civicness happens is incorrect if the psychologicalness does not occur. sent2: if the brachycephalicness does not occur then the fact that the clanking does not occur but the carcinomatousness occurs is right. sent3: if the civicness occurs the quenching Thursday happens. sent4: the articularness and the immoralness happens. sent5: that the fact that not the clanking but the carcinomatousness happens is not correct is true if the bind does not occur. sent6: the binding occurs and the psychologicalness happens. sent7: if the binding happens then the civicness happens. sent8: that the immoralness and the quenching Thursday occurs prevents the brachycephalic. ; $proof$ = 
sent6 -> int1: the bind occurs.; int1 & sent7 -> int2: the civicness happens.; int2 & sent3 -> int3: the quenching Thursday happens.; sent4 -> int4: the immoralness occurs.; int3 & int4 -> int5: the immoralness happens and the quenching Thursday happens.; int5 & sent8 -> int6: the brachycephalic does not occur.; int6 & sent2 -> hypothesis; __PROVED__