the link is not a Merlin and it does not stripe if the silver is not a Argus.
sent1: that the silver is a machilid hold if the fact that the stickpin is both not a faced and not a nurser is wrong. sent2: if the stickpin is a faced then that the silver is a machilid is true. sent3: the link is not a Merlin if the hawk is not a Merlin. sent4: if the petiolule is not a womanliness then it is not a geode. sent5: if the link stripes that the stickpin is not a faced and it is not a nurser does not hold. sent6: if the petiolule is not a kind of a womanliness it lignifies and is not a geode. sent7: there is something such that it is not a geode. sent8: if something that does lignify is a geode the hawk is not a Merlin. sent9: the petiolule is not a womanliness. sent10: the fact that the stickpin does face and is not a kind of a nurser is incorrect. sent11: if something is a machilid then it is a Argus. sent12: if something does lignify but it is not a geode then the hawk is not a Merlin.
void -> assump2: Let's assume that the fact that the link is a striped hold.; sent5 & assump2 -> int1: that the stickpin is not a kind of a faced and it is not a nurser is not right.; int1 & sent1 -> int2: the silver is a machilid.; sent11 -> int3: if the silver is a machilid then that it is a Argus is not incorrect.; int2 & int3 -> int4: the silver is a Argus.; void -> assump1: Let's assume that the silver is not a Argus.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the link is not a striped.; sent6 & sent9 -> int7: the petiolule does lignify but it is not a geode.; int7 -> int8: something lignifies and is not a geode.; int8 & sent12 -> int9: the hawk is not a Merlin.; sent3 & int9 -> int10: the link is not a Merlin.; int6 & int10 -> int11: the link is not a Merlin and it does not stripe.; [assump1] & int11 -> hypothesis;
$hypothesis$ = the link is not a Merlin and it does not stripe if the silver is not a Argus. ; $context$ = sent1: that the silver is a machilid hold if the fact that the stickpin is both not a faced and not a nurser is wrong. sent2: if the stickpin is a faced then that the silver is a machilid is true. sent3: the link is not a Merlin if the hawk is not a Merlin. sent4: if the petiolule is not a womanliness then it is not a geode. sent5: if the link stripes that the stickpin is not a faced and it is not a nurser does not hold. sent6: if the petiolule is not a kind of a womanliness it lignifies and is not a geode. sent7: there is something such that it is not a geode. sent8: if something that does lignify is a geode the hawk is not a Merlin. sent9: the petiolule is not a womanliness. sent10: the fact that the stickpin does face and is not a kind of a nurser is incorrect. sent11: if something is a machilid then it is a Argus. sent12: if something does lignify but it is not a geode then the hawk is not a Merlin. ; $proof$ = 
void -> assump2: Let's assume that the fact that the link is a striped hold.; sent5 & assump2 -> int1: that the stickpin is not a kind of a faced and it is not a nurser is not right.; int1 & sent1 -> int2: the silver is a machilid.; sent11 -> int3: if the silver is a machilid then that it is a Argus is not incorrect.; int2 & int3 -> int4: the silver is a Argus.; void -> assump1: Let's assume that the silver is not a Argus.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the link is not a striped.; sent6 & sent9 -> int7: the petiolule does lignify but it is not a geode.; int7 -> int8: something lignifies and is not a geode.; int8 & sent12 -> int9: the hawk is not a Merlin.; sent3 & int9 -> int10: the link is not a Merlin.; int6 & int10 -> int11: the link is not a Merlin and it does not stripe.; [assump1] & int11 -> hypothesis; __PROVED__