the hagfish is anoperineal.
sent1: if something does not angle Oryctolagus it is a Gadus and it is anoperineal. sent2: if something does not angle Oryctolagus it is a Gadus. sent3: if something is not a Tahitian it is dictatorial. sent4: the epiphenomenon is anoperineal if the fact that it does not redden Gdansk and does not angle Oryctolagus is false. sent5: the punnet is anamnestic. sent6: the fact that the hagfish is not anoperineal is not false if the fact that it is both not caulescent and not a marine is not true. sent7: The Gdansk reddens hagfish. sent8: that if the fact that something is not a kind of a chiseled and is not anamnestic is not right then it does not redden Gdansk is not wrong. sent9: if the fact that the hagfish angles Oryctolagus is not wrong that it does not chisel and is not anamnestic is wrong. sent10: the fact that the fact that something does not redden Gdansk and does not angle Oryctolagus is true is not true if that it is not a Gadus is true. sent11: the shallu does angle Oryctolagus.
void -> assump1: Let's assume that the hagfish angles Oryctolagus.; sent9 & assump1 -> int1: the fact that the hagfish does not chisel and is not anamnestic is not true.; sent8 -> int2: if the fact that the hagfish does not chisel and it is not anamnestic does not hold it does not redden Gdansk.; int1 & int2 -> int3: the hagfish does not redden Gdansk.; sent1 -> int4: if the hagfish does not angle Oryctolagus it is a Gadus and it is anoperineal.;
the epiphenomenon is anoperineal.
sent10 -> int5: if the epiphenomenon is not a Gadus the fact that it does not redden Gdansk and does not angle Oryctolagus does not hold.;
$hypothesis$ = the hagfish is anoperineal. ; $context$ = sent1: if something does not angle Oryctolagus it is a Gadus and it is anoperineal. sent2: if something does not angle Oryctolagus it is a Gadus. sent3: if something is not a Tahitian it is dictatorial. sent4: the epiphenomenon is anoperineal if the fact that it does not redden Gdansk and does not angle Oryctolagus is false. sent5: the punnet is anamnestic. sent6: the fact that the hagfish is not anoperineal is not false if the fact that it is both not caulescent and not a marine is not true. sent7: The Gdansk reddens hagfish. sent8: that if the fact that something is not a kind of a chiseled and is not anamnestic is not right then it does not redden Gdansk is not wrong. sent9: if the fact that the hagfish angles Oryctolagus is not wrong that it does not chisel and is not anamnestic is wrong. sent10: the fact that the fact that something does not redden Gdansk and does not angle Oryctolagus is true is not true if that it is not a Gadus is true. sent11: the shallu does angle Oryctolagus. ; $proof$ = 
void -> assump1: Let's assume that the hagfish angles Oryctolagus.; sent9 & assump1 -> int1: the fact that the hagfish does not chisel and is not anamnestic is not true.; sent8 -> int2: if the fact that the hagfish does not chisel and it is not anamnestic does not hold it does not redden Gdansk.; int1 & int2 -> int3: the hagfish does not redden Gdansk.; sent1 -> int4: if the hagfish does not angle Oryctolagus it is a Gadus and it is anoperineal.; __UNKNOWN__