the premising whitethorn does not occur or the dehumanization does not occur or both.
sent1: the fact that the obeying depredation occurs is true. sent2: both the projection and the ethicalness happens. sent3: that both the analyticness and the bell occurs prevents that the crutch happens. sent4: the crutch occurs and the clangoring narco-state happens. sent5: if that the glamorization occurs hold then the fact that both the non-anticholinergicness and the deification occurs is not correct. sent6: if the obeying depredation does not occur then the fact that the premising whitethorn does not occur and/or the dehumanization does not occur is false. sent7: that the tangoing but not the harmoniousness happens is brought about by that the belling does not occur. sent8: the premising whitethorn occurs and/or the dehumanization does not occur. sent9: if that the obeying orlop does not occur is true then both the Gallicanness and the glamorization occurs. sent10: the obeying orlop does not occur and the clangoring brucine does not occur if the phonicness does not occur. sent11: that the detachment happens is brought about by that the obeying depredation happens. sent12: if the clangoring narco-state does not occur both the tango and the harmoniousness happens. sent13: the fact that not the crutch but the belling happens does not hold if the tango occurs. sent14: the fact that the clangoring narco-state occurs is wrong if the suiting does not occur. sent15: the analyticness happens if the detachment happens. sent16: if the fact that the non-anticholinergicness and the deification happens is not right the suiting does not occur.
sent11 & sent1 -> int1: the detachment occurs.; int1 & sent15 -> int2: the analyticness occurs.; void -> assump1: Let's assume that the bell happens.; int2 & assump1 -> int3: the analyticness happens and the bell happens.; int3 & sent3 -> int4: the crutch does not occur.; sent4 -> int5: the fact that the crutch occurs is correct.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bell does not occur.; int7 & sent7 -> int8: the tangoing happens but the harmoniousness does not occur.; int8 -> int9: the harmoniousness does not occur.;
that the premising whitethorn does not occur and/or the dehumanization does not occur does not hold.
$hypothesis$ = the premising whitethorn does not occur or the dehumanization does not occur or both. ; $context$ = sent1: the fact that the obeying depredation occurs is true. sent2: both the projection and the ethicalness happens. sent3: that both the analyticness and the bell occurs prevents that the crutch happens. sent4: the crutch occurs and the clangoring narco-state happens. sent5: if that the glamorization occurs hold then the fact that both the non-anticholinergicness and the deification occurs is not correct. sent6: if the obeying depredation does not occur then the fact that the premising whitethorn does not occur and/or the dehumanization does not occur is false. sent7: that the tangoing but not the harmoniousness happens is brought about by that the belling does not occur. sent8: the premising whitethorn occurs and/or the dehumanization does not occur. sent9: if that the obeying orlop does not occur is true then both the Gallicanness and the glamorization occurs. sent10: the obeying orlop does not occur and the clangoring brucine does not occur if the phonicness does not occur. sent11: that the detachment happens is brought about by that the obeying depredation happens. sent12: if the clangoring narco-state does not occur both the tango and the harmoniousness happens. sent13: the fact that not the crutch but the belling happens does not hold if the tango occurs. sent14: the fact that the clangoring narco-state occurs is wrong if the suiting does not occur. sent15: the analyticness happens if the detachment happens. sent16: if the fact that the non-anticholinergicness and the deification happens is not right the suiting does not occur. ; $proof$ = 
sent11 & sent1 -> int1: the detachment occurs.; int1 & sent15 -> int2: the analyticness occurs.; void -> assump1: Let's assume that the bell happens.; int2 & assump1 -> int3: the analyticness happens and the bell happens.; int3 & sent3 -> int4: the crutch does not occur.; sent4 -> int5: the fact that the crutch occurs is correct.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bell does not occur.; int7 & sent7 -> int8: the tangoing happens but the harmoniousness does not occur.; int8 -> int9: the harmoniousness does not occur.; __UNKNOWN__