that there is something such that if it butts inertness and it is weighty then it is not a kind of a riel does not hold.
sent1: the linden is unquestionable and is sublittoral. sent2: if the linden is a riel and it is weighty it is not unquestionable. sent3: if the linden butts inertness and it is weighty that it is a riel is true. sent4: the cascabel weaves fabled if it is a kind of a Allium and does rear linden. sent5: something is not valent if the fact that it is not non-ebracteate and it does butt inertness is not wrong.
void -> assump1: Let's assume that the linden does butt inertness and is weighty.; assump1 -> int1: the linden is weighty.; void -> assump2: Let's assume that the fact that the linden is a riel is right.; int1 & assump2 -> int2: the linden is a riel and weighty.; int2 & sent2 -> int3: the linden is not unquestionable.; sent1 -> int4: the linden is unquestionable.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the linden is not a riel.; [assump1] & int6 -> int7: if the linden does butt inertness and it is weighty it is not a riel.; int7 -> hypothesis;
if the outstation is not non-ebracteate and butts inertness it is not valent.
sent5 -> hypothesis;
$hypothesis$ = that there is something such that if it butts inertness and it is weighty then it is not a kind of a riel does not hold. ; $context$ = sent1: the linden is unquestionable and is sublittoral. sent2: if the linden is a riel and it is weighty it is not unquestionable. sent3: if the linden butts inertness and it is weighty that it is a riel is true. sent4: the cascabel weaves fabled if it is a kind of a Allium and does rear linden. sent5: something is not valent if the fact that it is not non-ebracteate and it does butt inertness is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the linden does butt inertness and is weighty.; assump1 -> int1: the linden is weighty.; void -> assump2: Let's assume that the fact that the linden is a riel is right.; int1 & assump2 -> int2: the linden is a riel and weighty.; int2 & sent2 -> int3: the linden is not unquestionable.; sent1 -> int4: the linden is unquestionable.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the linden is not a riel.; [assump1] & int6 -> int7: if the linden does butt inertness and it is weighty it is not a riel.; int7 -> hypothesis; __DISPROVED__