if the fact that the anchovy does hash winner is not false then the fact that the vasopressor is a Puffinus hold.
sent1: the selvage is not a cotyledon. sent2: the anchovy is not a kind of a Dneprodzerzhinsk but it hashes winner if the selvage is a kind of a Dneprodzerzhinsk. sent3: the anchovy is a quarterly. sent4: if the fact that the anchovy is a cotyledon is true the selvage is not a kind of a cotyledon but it hashes winner. sent5: there exists something such that it is a Dneprodzerzhinsk. sent6: if the anchovy hashes winner then it is a cotyledon. sent7: something is both a Dneprodzerzhinsk and a Puffinus. sent8: the selvage hashes winner if the anchovy is a cotyledon. sent9: if the anchovy is a kind of a Dneprodzerzhinsk the selvage does hash winner. sent10: the anchovy is a Puffinus if the vasopressor hashes winner. sent11: there is something such that it is not a cotyledon. sent12: the fact that if the selvage is the cotyledon then the fact that the selvage hashes winner is true is not wrong. sent13: if the anchovy is a cotyledon then the selvage is not a kind of a cotyledon. sent14: the scholar does hash winner. sent15: if the vasopressor is a Puffinus the selvage is not a kind of a Puffinus but it is a kind of a cotyledon. sent16: the gudgeon is not autosomal but a Dneprodzerzhinsk. sent17: something is a cotyledon and a Dneprodzerzhinsk. sent18: the vasopressor is a Puffinus if there exists something such that it is not a cotyledon but a Dneprodzerzhinsk. sent19: if the vasopressor is a kind of a cotyledon the selvage is a kind of a Puffinus. sent20: the selvage is a Dneprodzerzhinsk if something that is not a cotyledon is a Puffinus. sent21: something is not a kind of a Puffinus but it is a cotyledon. sent22: that the vasopressor is a cotyledon is true if there exists something such that it does not hash winner and it is a Puffinus.
void -> assump1: Let's assume that the anchovy does hash winner.; sent6 & assump1 -> int1: the anchovy is a cotyledon.;
$hypothesis$ = if the fact that the anchovy does hash winner is not false then the fact that the vasopressor is a Puffinus hold. ; $context$ = sent1: the selvage is not a cotyledon. sent2: the anchovy is not a kind of a Dneprodzerzhinsk but it hashes winner if the selvage is a kind of a Dneprodzerzhinsk. sent3: the anchovy is a quarterly. sent4: if the fact that the anchovy is a cotyledon is true the selvage is not a kind of a cotyledon but it hashes winner. sent5: there exists something such that it is a Dneprodzerzhinsk. sent6: if the anchovy hashes winner then it is a cotyledon. sent7: something is both a Dneprodzerzhinsk and a Puffinus. sent8: the selvage hashes winner if the anchovy is a cotyledon. sent9: if the anchovy is a kind of a Dneprodzerzhinsk the selvage does hash winner. sent10: the anchovy is a Puffinus if the vasopressor hashes winner. sent11: there is something such that it is not a cotyledon. sent12: the fact that if the selvage is the cotyledon then the fact that the selvage hashes winner is true is not wrong. sent13: if the anchovy is a cotyledon then the selvage is not a kind of a cotyledon. sent14: the scholar does hash winner. sent15: if the vasopressor is a Puffinus the selvage is not a kind of a Puffinus but it is a kind of a cotyledon. sent16: the gudgeon is not autosomal but a Dneprodzerzhinsk. sent17: something is a cotyledon and a Dneprodzerzhinsk. sent18: the vasopressor is a Puffinus if there exists something such that it is not a cotyledon but a Dneprodzerzhinsk. sent19: if the vasopressor is a kind of a cotyledon the selvage is a kind of a Puffinus. sent20: the selvage is a Dneprodzerzhinsk if something that is not a cotyledon is a Puffinus. sent21: something is not a kind of a Puffinus but it is a cotyledon. sent22: that the vasopressor is a cotyledon is true if there exists something such that it does not hash winner and it is a Puffinus. ; $proof$ = 
void -> assump1: Let's assume that the anchovy does hash winner.; sent6 & assump1 -> int1: the anchovy is a cotyledon.; __UNKNOWN__