not the detention but the fracturing estrone happens.
sent1: the fact that the nonappearance does not occur is not incorrect. sent2: the fact that the refacing allegation does not occur and/or the fracturing thermoreceptor happens is not true if the fact that the specifying Telescopium occurs is right. sent3: if the parsing happens the fact that the duodenalness occurs is not wrong. sent4: the duodenalness occurs if the indexing does not occur. sent5: either the anticholinergic happens or the specifying corchorus does not occur or both. sent6: that the compass occurs is true if the fact that the refacing allegation happens and/or the fracturing thermoreceptor occurs is not right. sent7: if the hymenalness does not occur that either the aviation happens or the nonappearance happens or both is not correct. sent8: the specifying Telescopium happens. sent9: that if the duodenalness occurs the fracturing estrone happens is correct. sent10: if that the aviation occurs and/or the nonappearance occurs is not right the compass does not occur. sent11: the hymenalness does not occur if the fact that the fact that either the parsing occurs or the indexing does not occur or both is correct is wrong. sent12: if that the refacing allegation does not occur and/or the fracturing thermoreceptor happens is not true the compass occurs.
void -> assump1: Let's assume that the fact that the parsing occurs or the indexing does not occur or both is not true.; sent11 & assump1 -> int1: the hymenalness does not occur.; int1 & sent7 -> int2: that the aviation occurs and/or the nonappearance occurs is false.; int2 & sent10 -> int3: the compass does not occur.; sent2 & sent8 -> int4: that the refacing allegation does not occur or the fracturing thermoreceptor happens or both is incorrect.; sent12 & int4 -> int5: the compass occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: either the parsing happens or the indexing does not occur or both.; int7 & sent3 & sent4 -> int8: the duodenalness happens.;
$hypothesis$ = not the detention but the fracturing estrone happens. ; $context$ = sent1: the fact that the nonappearance does not occur is not incorrect. sent2: the fact that the refacing allegation does not occur and/or the fracturing thermoreceptor happens is not true if the fact that the specifying Telescopium occurs is right. sent3: if the parsing happens the fact that the duodenalness occurs is not wrong. sent4: the duodenalness occurs if the indexing does not occur. sent5: either the anticholinergic happens or the specifying corchorus does not occur or both. sent6: that the compass occurs is true if the fact that the refacing allegation happens and/or the fracturing thermoreceptor occurs is not right. sent7: if the hymenalness does not occur that either the aviation happens or the nonappearance happens or both is not correct. sent8: the specifying Telescopium happens. sent9: that if the duodenalness occurs the fracturing estrone happens is correct. sent10: if that the aviation occurs and/or the nonappearance occurs is not right the compass does not occur. sent11: the hymenalness does not occur if the fact that the fact that either the parsing occurs or the indexing does not occur or both is correct is wrong. sent12: if that the refacing allegation does not occur and/or the fracturing thermoreceptor happens is not true the compass occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the parsing occurs or the indexing does not occur or both is not true.; sent11 & assump1 -> int1: the hymenalness does not occur.; int1 & sent7 -> int2: that the aviation occurs and/or the nonappearance occurs is false.; int2 & sent10 -> int3: the compass does not occur.; sent2 & sent8 -> int4: that the refacing allegation does not occur or the fracturing thermoreceptor happens or both is incorrect.; sent12 & int4 -> int5: the compass occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: either the parsing happens or the indexing does not occur or both.; int7 & sent3 & sent4 -> int8: the duodenalness happens.; __UNKNOWN__