that the Rooseveltianness does not occur does not hold.
sent1: the Rooseveltianness occurs if the conic does not occur and the articulating happens. sent2: the articulateness happens if the amygdalineness occurs. sent3: that the commercialization does not occur results in that the debarkation does not occur. sent4: that the commercialization and the polo occurs does not hold if the immuneness does not occur. sent5: both the ventilating pettiness and the splenectomy occurs. sent6: the splenectomy happens. sent7: if that the polo does not occur is right then that both the immuneness and the banding hyaline happens is not correct. sent8: if both the conic and the articulateness happens the Rooseveltianness happens. sent9: the conic does not occur if the debarkation does not occur. sent10: if the ventilating pettiness does not occur and the splenectomy does not occur then the Rooseveltianness does not occur. sent11: the non-sarcolemmicness and the fenestration occurs if the ventilating Halenia does not occur. sent12: if the debarkation does not occur then the conic does not occur but the articulateness happens. sent13: the fact that the ventilating inutility occurs is right. sent14: the banding hyaline does not occur if that the immuneness occurs and the ventilating pettiness occurs is right. sent15: the forbidding happens. sent16: that that the mealiness happens and the replacement happens does not hold is not false. sent17: the fact that the conic does not occur hold. sent18: the banding hyaline happens. sent19: both the downstreamness and the sunbeam occurs.
sent5 -> int1: the ventilating pettiness happens.; void -> assump1: Let's assume that the immuneness occurs.; int1 & assump1 -> int2: the immune occurs and the ventilating pettiness happens.; int2 & sent14 -> int3: the banding hyaline does not occur.; int3 & sent18 -> int4: this is contradiction.; [assump1] & int4 -> int5: the immune does not occur.; int5 & sent4 -> int6: the fact that both the commercialization and the polo happens is false.;
the Rooseveltianness does not occur.
$hypothesis$ = that the Rooseveltianness does not occur does not hold. ; $context$ = sent1: the Rooseveltianness occurs if the conic does not occur and the articulating happens. sent2: the articulateness happens if the amygdalineness occurs. sent3: that the commercialization does not occur results in that the debarkation does not occur. sent4: that the commercialization and the polo occurs does not hold if the immuneness does not occur. sent5: both the ventilating pettiness and the splenectomy occurs. sent6: the splenectomy happens. sent7: if that the polo does not occur is right then that both the immuneness and the banding hyaline happens is not correct. sent8: if both the conic and the articulateness happens the Rooseveltianness happens. sent9: the conic does not occur if the debarkation does not occur. sent10: if the ventilating pettiness does not occur and the splenectomy does not occur then the Rooseveltianness does not occur. sent11: the non-sarcolemmicness and the fenestration occurs if the ventilating Halenia does not occur. sent12: if the debarkation does not occur then the conic does not occur but the articulateness happens. sent13: the fact that the ventilating inutility occurs is right. sent14: the banding hyaline does not occur if that the immuneness occurs and the ventilating pettiness occurs is right. sent15: the forbidding happens. sent16: that that the mealiness happens and the replacement happens does not hold is not false. sent17: the fact that the conic does not occur hold. sent18: the banding hyaline happens. sent19: both the downstreamness and the sunbeam occurs. ; $proof$ = 
sent5 -> int1: the ventilating pettiness happens.; void -> assump1: Let's assume that the immuneness occurs.; int1 & assump1 -> int2: the immune occurs and the ventilating pettiness happens.; int2 & sent14 -> int3: the banding hyaline does not occur.; int3 & sent18 -> int4: this is contradiction.; [assump1] & int4 -> int5: the immune does not occur.; int5 & sent4 -> int6: the fact that both the commercialization and the polo happens is false.; __UNKNOWN__