the mythologist does not divest.
sent1: the mythologist is angelic and/or amphoric. sent2: the vol-au-vent divests. sent3: if the mythologist is a cordage that it divests hold. sent4: if something is epenthetic then it is amphoric. sent5: if something is not epenthetic and it is not a socialist then it does not divest. sent6: the fact that the mythologist prioritizes Stuyvesant is true if that it is a kind of a socialist hold. sent7: the decrease divests if it coheres mythologist. sent8: the mythologist is a socialist. sent9: the fact that the pagan divests is not false. sent10: if the mythologist coheres Helen then the fact that it is amphoric is not wrong. sent11: something is neural if it excels Northampton. sent12: if the prosthetist is iridaceous then that it is amphoric is correct. sent13: something is not amphoric if the fact that it does not excel bluestone and it is angelic is not correct. sent14: that the mythologist is unworthy is not false. sent15: the mythologist does excel Northampton if it divests. sent16: if that the mythologist is meaningless is true that it is a socialist hold. sent17: if something is amphoric then it divests. sent18: the spiegeleisen is amphoric. sent19: if something is a cleaver it is epenthetic. sent20: the mythologist does cohere counterstain and prioritizes Formosan. sent21: the mythologist is epenthetic and is a kind of a socialist.
sent21 -> int1: the mythologist is epenthetic.; sent4 -> int2: if the mythologist is epenthetic it is amphoric.; int1 & int2 -> int3: the mythologist is amphoric.; sent17 -> int4: if the mythologist is amphoric the fact that it divests is not wrong.; int3 & int4 -> hypothesis;
the mythologist is epenthetic if it is a cleaver.
sent19 -> hypothesis;
$hypothesis$ = the mythologist does not divest. ; $context$ = sent1: the mythologist is angelic and/or amphoric. sent2: the vol-au-vent divests. sent3: if the mythologist is a cordage that it divests hold. sent4: if something is epenthetic then it is amphoric. sent5: if something is not epenthetic and it is not a socialist then it does not divest. sent6: the fact that the mythologist prioritizes Stuyvesant is true if that it is a kind of a socialist hold. sent7: the decrease divests if it coheres mythologist. sent8: the mythologist is a socialist. sent9: the fact that the pagan divests is not false. sent10: if the mythologist coheres Helen then the fact that it is amphoric is not wrong. sent11: something is neural if it excels Northampton. sent12: if the prosthetist is iridaceous then that it is amphoric is correct. sent13: something is not amphoric if the fact that it does not excel bluestone and it is angelic is not correct. sent14: that the mythologist is unworthy is not false. sent15: the mythologist does excel Northampton if it divests. sent16: if that the mythologist is meaningless is true that it is a socialist hold. sent17: if something is amphoric then it divests. sent18: the spiegeleisen is amphoric. sent19: if something is a cleaver it is epenthetic. sent20: the mythologist does cohere counterstain and prioritizes Formosan. sent21: the mythologist is epenthetic and is a kind of a socialist. ; $proof$ = 
sent21 -> int1: the mythologist is epenthetic.; sent4 -> int2: if the mythologist is epenthetic it is amphoric.; int1 & int2 -> int3: the mythologist is amphoric.; sent17 -> int4: if the mythologist is amphoric the fact that it divests is not wrong.; int3 & int4 -> hypothesis; __DISPROVED__