the newel shelters IIS but it is unprintable.
sent1: the rundle provides consensus if the fact that it is disproportionate is not incorrect. sent2: something does shelter IIS and is not printable if it is disproportionate. sent3: the fact that the rundle is a kind of a bisexual is true if the currant provides buna. sent4: something is not a kind of a disposable but it is disproportionate if it does provide consensus. sent5: the rundle is not proportionate. sent6: the rundle does not provide consensus if the newel does shelter IIS and is not printable. sent7: if something is a kind of a bisexual the fact that the fact that it is a Argonautidae and not disposable is right is wrong. sent8: the fact that the currant is not a carol but it is over-the-counter is not correct if it is a kind of a Steinman. sent9: something is disproportionate thing that provides consensus if it is not a disposable. sent10: if that something is not a carol but over-the-counter is not correct it provides buna. sent11: that something is a kind of a bunchgrass but it is not printable is not right if that it is not disproportionate is true. sent12: if the fact that the rundle is a kind of a Argonautidae and is not a disposable does not hold then the newel is not a kind of a disposable.
void -> assump1: Let's assume that the newel shelters IIS but it is not printable.; sent6 & assump1 -> int1: the rundle does not provide consensus.; sent1 & sent5 -> int2: the rundle provides consensus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the rundle is a bunchgrass but it is not printable is incorrect.
sent11 -> int4: that the rundle is a bunchgrass and is not printable is false if it is not disproportionate.; sent4 -> int5: if the newel does provide consensus it is a kind of non-disposable thing that is disproportionate.;
$hypothesis$ = the newel shelters IIS but it is unprintable. ; $context$ = sent1: the rundle provides consensus if the fact that it is disproportionate is not incorrect. sent2: something does shelter IIS and is not printable if it is disproportionate. sent3: the fact that the rundle is a kind of a bisexual is true if the currant provides buna. sent4: something is not a kind of a disposable but it is disproportionate if it does provide consensus. sent5: the rundle is not proportionate. sent6: the rundle does not provide consensus if the newel does shelter IIS and is not printable. sent7: if something is a kind of a bisexual the fact that the fact that it is a Argonautidae and not disposable is right is wrong. sent8: the fact that the currant is not a carol but it is over-the-counter is not correct if it is a kind of a Steinman. sent9: something is disproportionate thing that provides consensus if it is not a disposable. sent10: if that something is not a carol but over-the-counter is not correct it provides buna. sent11: that something is a kind of a bunchgrass but it is not printable is not right if that it is not disproportionate is true. sent12: if the fact that the rundle is a kind of a Argonautidae and is not a disposable does not hold then the newel is not a kind of a disposable. ; $proof$ = 
void -> assump1: Let's assume that the newel shelters IIS but it is not printable.; sent6 & assump1 -> int1: the rundle does not provide consensus.; sent1 & sent5 -> int2: the rundle provides consensus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__