the Junkers is not anaplastic or it is not a lowland or both.
sent1: if something that is virtuous does distinguish historicalness it is counterterror. sent2: if the Junkers is virtuous and it does distinguish historicalness it is counterterror. sent3: something that is not anaplastic or not a lowland or both is non-counterterror. sent4: the benefactor is auspicious if the fact that it does not distinguish buttercup and does not distinguish lighterage is false. sent5: the fact that if the gang is a kind of the jockey the gang is both virtuous and not counterterror hold. sent6: something is not counterterror if it is not a lowland. sent7: there is nothing such that it does not distinguish buttercup and it does not distinguish lighterage. sent8: everything is a kind of virtuous thing that does not distinguish historicalness. sent9: the hawk is not an embroidery and/or it is a kind of a lowland. sent10: something is counterterror if it is virtuous thing that does not distinguish historicalness. sent11: the Junkers is not a overachievement if there is something such that it does distinguish historicalness. sent12: the amrinone is a lowland. sent13: the Junkers is not unquestionable and/or it is not anaplastic. sent14: the fact that the Junkers does not distinguish historicalness is not wrong. sent15: something either is not anaplastic or is not lowland or both if it does distinguish historicalness. sent16: if there is something such that the fact that it is auspicious is not incorrect then the sauceboat is a kind of a jockey.
sent3 -> int1: that the Junkers is not counterterror is right if it is not anaplastic and/or it is not a lowland.; void -> assump1: Let's assume that the Junkers either is not anaplastic or is not lowland or both.; int1 & assump1 -> int2: the Junkers is not counterterror.; sent10 -> int3: if the Junkers is virtuous and does not distinguish historicalness it is counterterror.; sent8 -> int4: the Junkers is virtuous and does not distinguish historicalness.; int3 & int4 -> int5: the Junkers is counterterror.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the Junkers either is non-anaplastic or is not a lowland or both.
sent15 -> int7: if the Junkers distinguishes historicalness it is not anaplastic and/or it is not lowland.; sent7 -> int8: that the benefactor does not distinguish buttercup and does not distinguish lighterage does not hold.; sent4 & int8 -> int9: the benefactor is auspicious.; int9 -> int10: there are auspicious things.; int10 & sent16 -> int11: the sauceboat jockeys.; int11 -> int12: there exists something such that that it is a jockey is not incorrect.;
$hypothesis$ = the Junkers is not anaplastic or it is not a lowland or both. ; $context$ = sent1: if something that is virtuous does distinguish historicalness it is counterterror. sent2: if the Junkers is virtuous and it does distinguish historicalness it is counterterror. sent3: something that is not anaplastic or not a lowland or both is non-counterterror. sent4: the benefactor is auspicious if the fact that it does not distinguish buttercup and does not distinguish lighterage is false. sent5: the fact that if the gang is a kind of the jockey the gang is both virtuous and not counterterror hold. sent6: something is not counterterror if it is not a lowland. sent7: there is nothing such that it does not distinguish buttercup and it does not distinguish lighterage. sent8: everything is a kind of virtuous thing that does not distinguish historicalness. sent9: the hawk is not an embroidery and/or it is a kind of a lowland. sent10: something is counterterror if it is virtuous thing that does not distinguish historicalness. sent11: the Junkers is not a overachievement if there is something such that it does distinguish historicalness. sent12: the amrinone is a lowland. sent13: the Junkers is not unquestionable and/or it is not anaplastic. sent14: the fact that the Junkers does not distinguish historicalness is not wrong. sent15: something either is not anaplastic or is not lowland or both if it does distinguish historicalness. sent16: if there is something such that the fact that it is auspicious is not incorrect then the sauceboat is a kind of a jockey. ; $proof$ = 
sent3 -> int1: that the Junkers is not counterterror is right if it is not anaplastic and/or it is not a lowland.; void -> assump1: Let's assume that the Junkers either is not anaplastic or is not lowland or both.; int1 & assump1 -> int2: the Junkers is not counterterror.; sent10 -> int3: if the Junkers is virtuous and does not distinguish historicalness it is counterterror.; sent8 -> int4: the Junkers is virtuous and does not distinguish historicalness.; int3 & int4 -> int5: the Junkers is counterterror.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__