the autosomalness does not occur.
sent1: the autosomalness does not occur if both the virginalness and the corvineness occurs. sent2: if the welding terpene does not occur then both the lavage and the testateness happens. sent3: the fast does not occur. sent4: both the testateness and the welding terpene happens. sent5: the fact that the reimbursing sodom does not occur and the afterglow does not occur does not hold if the rustling Agamemnon does not occur. sent6: the welding terpene happens. sent7: if the fact that the reimbursing sodom does not occur and the afterglow does not occur does not hold then the coifing occurs. sent8: that the testateness happens and the badge does not occur results in that the fast happens. sent9: the ignobleness does not occur. sent10: the dawning happens. sent11: the Maundy occurs if the reinstatement happens. sent12: the linemen occurs if the badge happens. sent13: the polygonalness happens. sent14: the corvineness happens. sent15: if the reimbursing armpit does not occur then the separatedness happens but the Ukrainian does not occur. sent16: that the proctorship but not the propagandizing happens prevents that the reimbursing armpit occurs. sent17: if the ignobleness occurs the semi-tuberousness occurs. sent18: the subluxation occurs. sent19: that the narrowing occurs and the reimbursing Mashi happens brings about that the efflorescence does not occur. sent20: that the coif happens yields that the proctorship but not the propagandizing happens. sent21: the onomasticness happens. sent22: if the welding terpene does not occur then the autosomalness occurs and the testateness occurs. sent23: the nonfictionalness occurs. sent24: that the autosomalness happens and the endowment happens is not incorrect if the Ukrainian does not occur. sent25: both the centered and the destaining barrack happens. sent26: the destaining anaerobe happens.
sent4 -> int1: the testateness happens.; void -> assump1: Let's assume that the badge does not occur.; int1 & assump1 -> int2: the testateness occurs but the badge does not occur.; int2 & sent8 -> int3: the fasting occurs.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the badge occurs is true.; int5 & sent12 -> int6: the linemen happens.;
the autosomalness occurs.
$hypothesis$ = the autosomalness does not occur. ; $context$ = sent1: the autosomalness does not occur if both the virginalness and the corvineness occurs. sent2: if the welding terpene does not occur then both the lavage and the testateness happens. sent3: the fast does not occur. sent4: both the testateness and the welding terpene happens. sent5: the fact that the reimbursing sodom does not occur and the afterglow does not occur does not hold if the rustling Agamemnon does not occur. sent6: the welding terpene happens. sent7: if the fact that the reimbursing sodom does not occur and the afterglow does not occur does not hold then the coifing occurs. sent8: that the testateness happens and the badge does not occur results in that the fast happens. sent9: the ignobleness does not occur. sent10: the dawning happens. sent11: the Maundy occurs if the reinstatement happens. sent12: the linemen occurs if the badge happens. sent13: the polygonalness happens. sent14: the corvineness happens. sent15: if the reimbursing armpit does not occur then the separatedness happens but the Ukrainian does not occur. sent16: that the proctorship but not the propagandizing happens prevents that the reimbursing armpit occurs. sent17: if the ignobleness occurs the semi-tuberousness occurs. sent18: the subluxation occurs. sent19: that the narrowing occurs and the reimbursing Mashi happens brings about that the efflorescence does not occur. sent20: that the coif happens yields that the proctorship but not the propagandizing happens. sent21: the onomasticness happens. sent22: if the welding terpene does not occur then the autosomalness occurs and the testateness occurs. sent23: the nonfictionalness occurs. sent24: that the autosomalness happens and the endowment happens is not incorrect if the Ukrainian does not occur. sent25: both the centered and the destaining barrack happens. sent26: the destaining anaerobe happens. ; $proof$ = 
sent4 -> int1: the testateness happens.; void -> assump1: Let's assume that the badge does not occur.; int1 & assump1 -> int2: the testateness occurs but the badge does not occur.; int2 & sent8 -> int3: the fasting occurs.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the badge occurs is true.; int5 & sent12 -> int6: the linemen happens.; __UNKNOWN__