the Wakashan is a kind of non-resolute thing that does carol Wakashan.
sent1: The indecency does not carol Wakashan. sent2: the lionfish is non-bismuthic a superphylum if the mirid does not program Swede. sent3: that the krill lurches rational and is a superphylum is not right. sent4: the zooid does not program amendment but it is a deviation. sent5: something is a kind of a fructose if it does not carol indecency. sent6: The Wakashan carols Wakashan. sent7: if there exists something such that that it lurches rational and is a superphylum is not right then that the lionfish is not a superphylum is not incorrect. sent8: if something that does program Swede does lurch Bucerotidae it does not carol Wakashan. sent9: the Wakashan carols Wakashan. sent10: the Wakashan does not carol indecency. sent11: if something that is a kind of a fructose does not lurch Bucerotidae then it is not resolute. sent12: the Wakashan does not lurch Bucerotidae if the mirid does program Swede.
void -> assump1: Let's assume that the mirid does not program Swede.; sent2 & assump1 -> int1: the lionfish is not bismuthic but it is a kind of a superphylum.; int1 -> int2: the lionfish is a kind of a superphylum.; sent3 -> int3: there exists something such that that it lurches rational and is a kind of a superphylum is wrong.; int3 & sent7 -> int4: the fact that the lionfish is not a kind of a superphylum hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mirid programs Swede.; int6 & sent12 -> int7: the Wakashan does not lurch Bucerotidae.; sent5 -> int8: the Wakashan is a fructose if that it does not carol indecency is correct.; int8 & sent10 -> int9: the Wakashan is a kind of a fructose.; int7 & int9 -> int10: the Wakashan is a kind of a fructose but it does not lurch Bucerotidae.; sent11 -> int11: the Wakashan is not resolute if it is a fructose and does not lurch Bucerotidae.; int10 & int11 -> int12: the fact that the Wakashan is resolute does not hold.; int12 & sent9 -> hypothesis;
the fact that the Wakashan is not resolute and does carol Wakashan is false.
sent8 -> int13: if the mirid programs Swede and it does lurch Bucerotidae the fact that it does not carol Wakashan is not incorrect.;
$hypothesis$ = the Wakashan is a kind of non-resolute thing that does carol Wakashan. ; $context$ = sent1: The indecency does not carol Wakashan. sent2: the lionfish is non-bismuthic a superphylum if the mirid does not program Swede. sent3: that the krill lurches rational and is a superphylum is not right. sent4: the zooid does not program amendment but it is a deviation. sent5: something is a kind of a fructose if it does not carol indecency. sent6: The Wakashan carols Wakashan. sent7: if there exists something such that that it lurches rational and is a superphylum is not right then that the lionfish is not a superphylum is not incorrect. sent8: if something that does program Swede does lurch Bucerotidae it does not carol Wakashan. sent9: the Wakashan carols Wakashan. sent10: the Wakashan does not carol indecency. sent11: if something that is a kind of a fructose does not lurch Bucerotidae then it is not resolute. sent12: the Wakashan does not lurch Bucerotidae if the mirid does program Swede. ; $proof$ = 
void -> assump1: Let's assume that the mirid does not program Swede.; sent2 & assump1 -> int1: the lionfish is not bismuthic but it is a kind of a superphylum.; int1 -> int2: the lionfish is a kind of a superphylum.; sent3 -> int3: there exists something such that that it lurches rational and is a kind of a superphylum is wrong.; int3 & sent7 -> int4: the fact that the lionfish is not a kind of a superphylum hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mirid programs Swede.; int6 & sent12 -> int7: the Wakashan does not lurch Bucerotidae.; sent5 -> int8: the Wakashan is a fructose if that it does not carol indecency is correct.; int8 & sent10 -> int9: the Wakashan is a kind of a fructose.; int7 & int9 -> int10: the Wakashan is a kind of a fructose but it does not lurch Bucerotidae.; sent11 -> int11: the Wakashan is not resolute if it is a fructose and does not lurch Bucerotidae.; int10 & int11 -> int12: the fact that the Wakashan is resolute does not hold.; int12 & sent9 -> hypothesis; __PROVED__