the fact that the harmonicsness but not the bipolarness occurs is true.
sent1: the crocheting happens. sent2: the actinomorphicness occurs and the agrologicness happens. sent3: the harmonicsness happens. sent4: the anecdote and the outfitting occurs. sent5: that the agrologicness and the juncture happens leads to that the outfitting does not occur. sent6: the hermeneuticness does not occur if that the charlatanism does not occur and the hermeneuticness happens is incorrect. sent7: that both the outfitting and the juncture occurs is incorrect if the exempting hooch does not occur. sent8: if the agrologicness does not occur then the actinomorphicness does not occur. sent9: that both the hermeneuticness and the coastalness happens is caused by that the anecdote does not occur. sent10: the Galileanness happens and the cleaning USCB does not occur. sent11: if both the non-agrologicness and the non-actinomorphicness occurs the Zambianness happens. sent12: that the charlatanism does not occur and the hermeneuticness occurs is false. sent13: that the bipolarness and the harmonicsness happens is false if the anecdote does not occur. sent14: if the cleaning USCB does not occur then that the igneousness occurs and the charlatanism happens is not true. sent15: the coastalness happens if the juncture does not occur and the hermeneuticness does not occur. sent16: if the actinomorphicness does not occur the fact that the harmonics but not the bipolarness occurs is wrong.
sent2 -> int1: the agrologicness happens.; void -> assump1: Let's assume that the fact that the juncture occurs is correct.; int1 & assump1 -> int2: that the agrologicness and the juncture happens hold.; int2 & sent5 -> int3: the outfitting does not occur.; sent4 -> int4: the outfitting happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the juncture does not occur hold.; sent6 & sent12 -> int7: that the hermeneuticness does not occur is not incorrect.; int6 & int7 -> int8: the juncture does not occur and the hermeneuticness does not occur.; int8 & sent15 -> int9: the coastalness happens.;
that both the harmonics and the non-bipolarness happens is wrong.
$hypothesis$ = the fact that the harmonicsness but not the bipolarness occurs is true. ; $context$ = sent1: the crocheting happens. sent2: the actinomorphicness occurs and the agrologicness happens. sent3: the harmonicsness happens. sent4: the anecdote and the outfitting occurs. sent5: that the agrologicness and the juncture happens leads to that the outfitting does not occur. sent6: the hermeneuticness does not occur if that the charlatanism does not occur and the hermeneuticness happens is incorrect. sent7: that both the outfitting and the juncture occurs is incorrect if the exempting hooch does not occur. sent8: if the agrologicness does not occur then the actinomorphicness does not occur. sent9: that both the hermeneuticness and the coastalness happens is caused by that the anecdote does not occur. sent10: the Galileanness happens and the cleaning USCB does not occur. sent11: if both the non-agrologicness and the non-actinomorphicness occurs the Zambianness happens. sent12: that the charlatanism does not occur and the hermeneuticness occurs is false. sent13: that the bipolarness and the harmonicsness happens is false if the anecdote does not occur. sent14: if the cleaning USCB does not occur then that the igneousness occurs and the charlatanism happens is not true. sent15: the coastalness happens if the juncture does not occur and the hermeneuticness does not occur. sent16: if the actinomorphicness does not occur the fact that the harmonics but not the bipolarness occurs is wrong. ; $proof$ = 
sent2 -> int1: the agrologicness happens.; void -> assump1: Let's assume that the fact that the juncture occurs is correct.; int1 & assump1 -> int2: that the agrologicness and the juncture happens hold.; int2 & sent5 -> int3: the outfitting does not occur.; sent4 -> int4: the outfitting happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the juncture does not occur hold.; sent6 & sent12 -> int7: that the hermeneuticness does not occur is not incorrect.; int6 & int7 -> int8: the juncture does not occur and the hermeneuticness does not occur.; int8 & sent15 -> int9: the coastalness happens.; __UNKNOWN__