if the paving is a Transportation that the vivarium does last but it is not idiographic does not hold.
sent1: the vivarium is bionics. sent2: if the niche is not lunisolar the tubeless is not a solfa and is non-bionics. sent3: if the tubeless is not a solfa and not a last then the niche is lunisolar. sent4: the fact that the tubeless is a kind of a solfa that is not lunisolar is not right. sent5: the tubeless is not a kind of a Transportation if the paving is not bionics. sent6: if the eggplant is non-litigious or it lasts or both then the niche is not lunisolar. sent7: the tubeless is not a Transportation. sent8: that if the eggplant is not a kind of a last then the fact that the vivarium is a last but it is not idiographic does not hold is correct. sent9: the paving is not a Transportation if the tubeless is not a solfa and is not bionics.
void -> assump2: Let's assume that the paving is a kind of a Transportation.; void -> assump1: Let's assume that the eggplant lasts.; assump1 -> int1: the eggplant is not litigious and/or it is a last.; sent6 & int1 -> int2: the niche is not lunisolar.; sent2 & int2 -> int3: the tubeless is both not a solfa and not bionics.; sent9 & int3 -> int4: the paving is not a Transportation.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the eggplant does not last.; sent8 & int6 -> int7: the fact that the vivarium does last but it is not idiographic is not true.; [assump2] & int7 -> hypothesis;
$hypothesis$ = if the paving is a Transportation that the vivarium does last but it is not idiographic does not hold. ; $context$ = sent1: the vivarium is bionics. sent2: if the niche is not lunisolar the tubeless is not a solfa and is non-bionics. sent3: if the tubeless is not a solfa and not a last then the niche is lunisolar. sent4: the fact that the tubeless is a kind of a solfa that is not lunisolar is not right. sent5: the tubeless is not a kind of a Transportation if the paving is not bionics. sent6: if the eggplant is non-litigious or it lasts or both then the niche is not lunisolar. sent7: the tubeless is not a Transportation. sent8: that if the eggplant is not a kind of a last then the fact that the vivarium is a last but it is not idiographic does not hold is correct. sent9: the paving is not a Transportation if the tubeless is not a solfa and is not bionics. ; $proof$ = 
void -> assump2: Let's assume that the paving is a kind of a Transportation.; void -> assump1: Let's assume that the eggplant lasts.; assump1 -> int1: the eggplant is not litigious and/or it is a last.; sent6 & int1 -> int2: the niche is not lunisolar.; sent2 & int2 -> int3: the tubeless is both not a solfa and not bionics.; sent9 & int3 -> int4: the paving is not a Transportation.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the eggplant does not last.; sent8 & int6 -> int7: the fact that the vivarium does last but it is not idiographic is not true.; [assump2] & int7 -> hypothesis; __PROVED__