the congregationalness does not occur but the cohesion occurs.
sent1: if the universalisticness does not occur the fact that both the non-congregationalness and the cohesion happens is wrong. sent2: the outshouting thermoplastic occurs and/or the contesting happens. sent3: the contest prevents that the bearing crampbark does not occur. sent4: that the bearing crampbark does not occur is prevented by that the outshouting thermoplastic happens. sent5: the estrousness occurs if the housecleaning Cheever occurs. sent6: the fact that the mammalianness occurs or the set does not occur or both is false. sent7: the housecleaning Cheever occurs if the set occurs. sent8: if the clamatorialness does not occur the universalisticness does not occur. sent9: that both the non-congregationalness and the cohesion occurs is triggered by that the mammalianness occurs. sent10: the clamatorialness and the universalisticness happens if the outshouting thermoplastic does not occur. sent11: the fact that the clamatorialness does not occur is right if both the estrousness and the bearing crampbark happens.
void -> assump1: Let's assume that the set does not occur.; assump1 -> int1: the mammalianness occurs and/or the setting does not occur.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the set occurs.; int3 & sent7 -> int4: the housecleaning Cheever happens.; int4 & sent5 -> int5: the estrousness happens.; sent2 & sent4 & sent3 -> int6: the bearing crampbark occurs.; int5 & int6 -> int7: the estrousness and the bearing crampbark occurs.; int7 & sent11 -> int8: the clamatorialness does not occur.; int8 & sent8 -> int9: the universalisticness does not occur.; int9 & sent1 -> hypothesis;
the non-congregationalness and the cohesion happens.
$hypothesis$ = the congregationalness does not occur but the cohesion occurs. ; $context$ = sent1: if the universalisticness does not occur the fact that both the non-congregationalness and the cohesion happens is wrong. sent2: the outshouting thermoplastic occurs and/or the contesting happens. sent3: the contest prevents that the bearing crampbark does not occur. sent4: that the bearing crampbark does not occur is prevented by that the outshouting thermoplastic happens. sent5: the estrousness occurs if the housecleaning Cheever occurs. sent6: the fact that the mammalianness occurs or the set does not occur or both is false. sent7: the housecleaning Cheever occurs if the set occurs. sent8: if the clamatorialness does not occur the universalisticness does not occur. sent9: that both the non-congregationalness and the cohesion occurs is triggered by that the mammalianness occurs. sent10: the clamatorialness and the universalisticness happens if the outshouting thermoplastic does not occur. sent11: the fact that the clamatorialness does not occur is right if both the estrousness and the bearing crampbark happens. ; $proof$ = 
void -> assump1: Let's assume that the set does not occur.; assump1 -> int1: the mammalianness occurs and/or the setting does not occur.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the set occurs.; int3 & sent7 -> int4: the housecleaning Cheever happens.; int4 & sent5 -> int5: the estrousness happens.; sent2 & sent4 & sent3 -> int6: the bearing crampbark occurs.; int5 & int6 -> int7: the estrousness and the bearing crampbark occurs.; int7 & sent11 -> int8: the clamatorialness does not occur.; int8 & sent8 -> int9: the universalisticness does not occur.; int9 & sent1 -> hypothesis; __DISPROVED__