the elapid does not redirect highboard but it does liberate.
sent1: if the elapid does not demise that it is embolic or it is a finial or both is not incorrect. sent2: the fact that that the elapid redirects highboard and it does liberate is incorrect if the Neoplatonist is not non-embolic hold. sent3: the elapid does not demise. sent4: if the Neoplatonist is embolic that the elapid does not redirect highboard and does liberate does not hold. sent5: the Neoplatonist is a dirk if the cytotoxin is not a pearlite. sent6: if something is a finial then that it does not redirect highboard hold. sent7: if something is not a kind of a pearlite and is a dirk then it is embolic. sent8: the Neoplatonist is not a kind of a pearlite but it is a kind of a dirk if the cytotoxin is not a pearlite. sent9: if something is embolic the fact that it does not redirect highboard is true. sent10: the residue is a kind of a transfusion and is not a kind of a nap. sent11: if something that is a transfusion is not a nap the cytotoxin is not a pearlite. sent12: the residue is a kind of a transfusion.
sent10 -> int1: that something is a transfusion but it is not a nap is correct.; int1 & sent11 -> int2: the cytotoxin is not a pearlite.; int2 & sent8 -> int3: the Neoplatonist is not a pearlite but it is a dirk.; sent7 -> int4: the Neoplatonist is embolic if it is both not a pearlite and a dirk.; int3 & int4 -> int5: the Neoplatonist is embolic.; int5 & sent4 -> hypothesis;
the elapid does not redirect highboard and does liberate.
sent1 & sent3 -> int6: either the elapid is embolic or it is a finial or both.; sent9 -> int7: the elapid does not redirect highboard if it is embolic.; sent6 -> int8: if the elapid is a finial it does not redirect highboard.; int6 & int7 & int8 -> int9: the elapid does not redirect highboard.;
$hypothesis$ = the elapid does not redirect highboard but it does liberate. ; $context$ = sent1: if the elapid does not demise that it is embolic or it is a finial or both is not incorrect. sent2: the fact that that the elapid redirects highboard and it does liberate is incorrect if the Neoplatonist is not non-embolic hold. sent3: the elapid does not demise. sent4: if the Neoplatonist is embolic that the elapid does not redirect highboard and does liberate does not hold. sent5: the Neoplatonist is a dirk if the cytotoxin is not a pearlite. sent6: if something is a finial then that it does not redirect highboard hold. sent7: if something is not a kind of a pearlite and is a dirk then it is embolic. sent8: the Neoplatonist is not a kind of a pearlite but it is a kind of a dirk if the cytotoxin is not a pearlite. sent9: if something is embolic the fact that it does not redirect highboard is true. sent10: the residue is a kind of a transfusion and is not a kind of a nap. sent11: if something that is a transfusion is not a nap the cytotoxin is not a pearlite. sent12: the residue is a kind of a transfusion. ; $proof$ = 
sent10 -> int1: that something is a transfusion but it is not a nap is correct.; int1 & sent11 -> int2: the cytotoxin is not a pearlite.; int2 & sent8 -> int3: the Neoplatonist is not a pearlite but it is a dirk.; sent7 -> int4: the Neoplatonist is embolic if it is both not a pearlite and a dirk.; int3 & int4 -> int5: the Neoplatonist is embolic.; int5 & sent4 -> hypothesis; __DISPROVED__