that the barrel does not occur but the unbending Cnidaria occurs is false.
sent1: that the teasing dichotomization does not occur or that the embattling does not occur or both brings about that the teasing dichotomization does not occur. sent2: the wariness happens if the convoying waterproof occurs. sent3: that the barrel occurs and the unbending Cnidaria happens is wrong. sent4: if the parochialness occurs then the difficulty occurs or the unbending doorkeeper does not occur or both. sent5: if the fact that the externalization does not occur is not false the uninfluentialness but not the unbending tribalization happens. sent6: if the unbending saved occurs and the exportableness happens the naiveness does not occur. sent7: the fact that the wariness occurs or the bronchiolarness does not occur or both is false if the convoying waterproof does not occur. sent8: if the wariness occurs then the fact that both the non-naiveness and the terrestrialness happens is wrong. sent9: if the unbending schistosome does not occur then the teasing dichotomization does not occur and/or the embattling does not occur. sent10: the chiromanticness occurs if the fact that not the unbending saved but the exportableness occurs is not right. sent11: if the difficulty occurs the convoying waterproof does not occur. sent12: if the uninfluentialness happens and the unbending tribalization does not occur then the unbending schistosome does not occur. sent13: if the teasing dichotomization does not occur the amaranthineness happens and the unbending grass happens. sent14: the reticulating happens and the parochialness happens if the leadenness does not occur. sent15: if either the rat or the amaranthineness or both occurs then the leadenness does not occur. sent16: the externalization does not occur. sent17: the exportableness occurs. sent18: both the chiromanticness and the unbending saved happens. sent19: the convoying waterproof occurs. sent20: that the chiromanticness happens is not incorrect. sent21: the winglessness occurs. sent22: if the bronchiolarness does not occur that that both the barrel and the unbending Cnidaria occurs hold is not true. sent23: that the terrestrialness does not occur but the winglessness occurs results in the non-bronchiolarness.
sent18 -> int1: the unbending saved occurs.; int1 & sent17 -> int2: the unbending saved and the exportableness happens.; int2 & sent6 -> int3: the naiveness does not occur.; void -> assump1: Let's assume that the terrestrialness happens.; int3 & assump1 -> int4: the fact that the naiveness does not occur but the terrestrialness happens hold.; sent2 & sent19 -> int5: the wariness occurs.; sent8 & int5 -> int6: the fact that the non-naiveness and the terrestrialness occurs is not true.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the terrestrialness does not occur.; int8 & sent21 -> int9: the terrestrialness does not occur and the winglessness happens.; int9 & sent23 -> int10: the bronchiolarness does not occur.;
the barrel does not occur but the unbending Cnidaria happens.
sent5 & sent16 -> int11: the uninfluentialness occurs but the unbending tribalization does not occur.; sent12 & int11 -> int12: the unbending schistosome does not occur.; sent9 & int12 -> int13: the teasing dichotomization does not occur and/or the embattling does not occur.; sent1 & int13 -> int14: the teasing dichotomization does not occur.; sent13 & int14 -> int15: the amaranthineness occurs and the unbending grass happens.; int15 -> int16: the amaranthineness happens.; int16 -> int17: the ratting and/or the amaranthineness occurs.; sent15 & int17 -> int18: the leadenness does not occur.; sent14 & int18 -> int19: both the reticulateness and the parochialness happens.; int19 -> int20: the parochialness happens.; sent4 & int20 -> int21: the difficulty happens and/or the unbending doorkeeper does not occur.;
$hypothesis$ = that the barrel does not occur but the unbending Cnidaria occurs is false. ; $context$ = sent1: that the teasing dichotomization does not occur or that the embattling does not occur or both brings about that the teasing dichotomization does not occur. sent2: the wariness happens if the convoying waterproof occurs. sent3: that the barrel occurs and the unbending Cnidaria happens is wrong. sent4: if the parochialness occurs then the difficulty occurs or the unbending doorkeeper does not occur or both. sent5: if the fact that the externalization does not occur is not false the uninfluentialness but not the unbending tribalization happens. sent6: if the unbending saved occurs and the exportableness happens the naiveness does not occur. sent7: the fact that the wariness occurs or the bronchiolarness does not occur or both is false if the convoying waterproof does not occur. sent8: if the wariness occurs then the fact that both the non-naiveness and the terrestrialness happens is wrong. sent9: if the unbending schistosome does not occur then the teasing dichotomization does not occur and/or the embattling does not occur. sent10: the chiromanticness occurs if the fact that not the unbending saved but the exportableness occurs is not right. sent11: if the difficulty occurs the convoying waterproof does not occur. sent12: if the uninfluentialness happens and the unbending tribalization does not occur then the unbending schistosome does not occur. sent13: if the teasing dichotomization does not occur the amaranthineness happens and the unbending grass happens. sent14: the reticulating happens and the parochialness happens if the leadenness does not occur. sent15: if either the rat or the amaranthineness or both occurs then the leadenness does not occur. sent16: the externalization does not occur. sent17: the exportableness occurs. sent18: both the chiromanticness and the unbending saved happens. sent19: the convoying waterproof occurs. sent20: that the chiromanticness happens is not incorrect. sent21: the winglessness occurs. sent22: if the bronchiolarness does not occur that that both the barrel and the unbending Cnidaria occurs hold is not true. sent23: that the terrestrialness does not occur but the winglessness occurs results in the non-bronchiolarness. ; $proof$ = 
sent18 -> int1: the unbending saved occurs.; int1 & sent17 -> int2: the unbending saved and the exportableness happens.; int2 & sent6 -> int3: the naiveness does not occur.; void -> assump1: Let's assume that the terrestrialness happens.; int3 & assump1 -> int4: the fact that the naiveness does not occur but the terrestrialness happens hold.; sent2 & sent19 -> int5: the wariness occurs.; sent8 & int5 -> int6: the fact that the non-naiveness and the terrestrialness occurs is not true.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the terrestrialness does not occur.; int8 & sent21 -> int9: the terrestrialness does not occur and the winglessness happens.; int9 & sent23 -> int10: the bronchiolarness does not occur.; __UNKNOWN__