the grapnel is a liana.
sent1: if there exists something such that that it does not stagnate is not wrong the aquarium is Nordic and sincere. sent2: the fact that the box does not stagnate or it is suburban or both does not hold if it is not sincere. sent3: the tarn stagnates. sent4: that the fact that the tarn is not pleomorphic and not unfathomable does not hold hold. sent5: if that the aquarium is unsalable is not incorrect then that the Zimbabwean is not fathomable is right. sent6: the box is not sincere if the grapnel is a liana and it is Nordic. sent7: the Zimbabwean is fathomable if that the tarn is not pleomorphic but it is not fathomable is not correct. sent8: the grapnel is Nordic. sent9: the fact that something is sincere and is not a liana is wrong if the fact that it is non-Nordic hold. sent10: if something is a kind of a liana that it is non-bubonic thing that is fathomable is wrong. sent11: if the box is not sincere it is Nordic. sent12: something is a kind of a liana if the fact that it is sincere and it is not a kind of a liana is not correct. sent13: the Zimbabwean is fathomable if the tarn is not fathomable. sent14: if that the box does not stagnate or it is suburban or both is incorrect the aquarium preoccupies cuttlefish. sent15: the tarn is suburban and is a kind of a sour. sent16: that the grapnel does not stagnate is not wrong if the box does stagnate and does not preoccupy cuttlefish. sent17: if the box is not sincere it is not suburban. sent18: the box is not suburban. sent19: the Zimbabwean is not fathomable if the aquarium is unsalable or does preoccupy cuttlefish or both. sent20: if the fact that the grapnel is either not unfathomable or Nordic or both is false then the aquarium is unsalable.
void -> assump1: Let's assume that the grapnel is a kind of a liana.; assump1 & sent8 -> int1: the grapnel is a liana and is Nordic.; int1 & sent6 -> int2: the box is not sincere.; int2 & sent2 -> int3: that the box does not stagnate and/or is suburban does not hold.; int3 & sent14 -> int4: the aquarium preoccupies cuttlefish.; int4 -> int5: the aquarium either is unsalable or preoccupies cuttlefish or both.; int5 & sent19 -> int6: the Zimbabwean is not fathomable.; sent7 & sent4 -> int7: the Zimbabwean is fathomable.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
that the aquarium is non-bubonic thing that is fathomable does not hold.
sent10 -> int9: the fact that the aquarium is a kind of non-bubonic thing that is fathomable is not right if it is a kind of a liana.;
$hypothesis$ = the grapnel is a liana. ; $context$ = sent1: if there exists something such that that it does not stagnate is not wrong the aquarium is Nordic and sincere. sent2: the fact that the box does not stagnate or it is suburban or both does not hold if it is not sincere. sent3: the tarn stagnates. sent4: that the fact that the tarn is not pleomorphic and not unfathomable does not hold hold. sent5: if that the aquarium is unsalable is not incorrect then that the Zimbabwean is not fathomable is right. sent6: the box is not sincere if the grapnel is a liana and it is Nordic. sent7: the Zimbabwean is fathomable if that the tarn is not pleomorphic but it is not fathomable is not correct. sent8: the grapnel is Nordic. sent9: the fact that something is sincere and is not a liana is wrong if the fact that it is non-Nordic hold. sent10: if something is a kind of a liana that it is non-bubonic thing that is fathomable is wrong. sent11: if the box is not sincere it is Nordic. sent12: something is a kind of a liana if the fact that it is sincere and it is not a kind of a liana is not correct. sent13: the Zimbabwean is fathomable if the tarn is not fathomable. sent14: if that the box does not stagnate or it is suburban or both is incorrect the aquarium preoccupies cuttlefish. sent15: the tarn is suburban and is a kind of a sour. sent16: that the grapnel does not stagnate is not wrong if the box does stagnate and does not preoccupy cuttlefish. sent17: if the box is not sincere it is not suburban. sent18: the box is not suburban. sent19: the Zimbabwean is not fathomable if the aquarium is unsalable or does preoccupy cuttlefish or both. sent20: if the fact that the grapnel is either not unfathomable or Nordic or both is false then the aquarium is unsalable. ; $proof$ = 
void -> assump1: Let's assume that the grapnel is a kind of a liana.; assump1 & sent8 -> int1: the grapnel is a liana and is Nordic.; int1 & sent6 -> int2: the box is not sincere.; int2 & sent2 -> int3: that the box does not stagnate and/or is suburban does not hold.; int3 & sent14 -> int4: the aquarium preoccupies cuttlefish.; int4 -> int5: the aquarium either is unsalable or preoccupies cuttlefish or both.; int5 & sent19 -> int6: the Zimbabwean is not fathomable.; sent7 & sent4 -> int7: the Zimbabwean is fathomable.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__