the coastguardsman is a Mansfield.
sent1: the coastguardsman is a Mansfield if the beldam is a Hypentelium. sent2: if the villain is a crop and it is a Redskin that the betatron is not neurogenic is incorrect. sent3: if the betatron is a dolphinfish that the beldam is not a kind of a salutatorian and it is not a kind of a dolphinfish is false. sent4: that the postmistress does not impersonate Reagan is not wrong if the fact that the Courtelle red-eyes and it is a yaws is not true. sent5: if the villain is a crop and is not a Redskin the betatron is neurogenic. sent6: that the beldam is a salutatorian but it is not a kind of a dolphinfish does not hold. sent7: if the betatron is a dolphinfish the fact that the beldam is a salutatorian but it is not a dolphinfish is wrong. sent8: the postmistress does not impersonate Reagan if the Courtelle is not a yaws. sent9: the villain is not a Redskin. sent10: the fact that the beldam is not a salutatorian and is a dolphinfish is false if the betatron is a dolphinfish. sent11: the Courtelle is not a cabin. sent12: if something does cabin then it is not a Mansfield. sent13: there is something such that it impersonates Reagan. sent14: there is nothing such that it is neurogenic a Redskin. sent15: the fact that the beldam is not a salutatorian but a dolphinfish does not hold. sent16: the villain is not a Redskin if there is something such that the fact that it does not impersonate Reagan is not incorrect. sent17: the fact that the fact that the Courtelle red-eyes and is a yaws is not correct hold if it is not a cabin. sent18: if something impersonates Reagan then the Courtelle is not a crop and/or is not a cabin. sent19: if that something is not a kind of a salutatorian and is not a dolphinfish is false it is a Hypentelium. sent20: if something is neurogenic it is a dolphinfish.
sent17 & sent11 -> int1: that the Courtelle does red-eye and is a kind of a yaws is false.; int1 & sent4 -> int2: the fact that the postmistress impersonates Reagan is wrong.; int2 -> int3: there exists something such that it does not impersonate Reagan.; sent20 -> int4: if the betatron is neurogenic then it is a dolphinfish.; sent19 -> int5: if the fact that the beldam is not a kind of a salutatorian and it is not a kind of a dolphinfish does not hold it is a Hypentelium.;
the coastguardsman is not a Mansfield.
sent12 -> int6: if the coastguardsman is a cabin it is not a Mansfield.; sent14 -> int7: the fact that the villain is a kind of neurogenic a Redskin is not right.; int7 -> int8: there is something such that the fact that it is both neurogenic and a Redskin is not right.;
$hypothesis$ = the coastguardsman is a Mansfield. ; $context$ = sent1: the coastguardsman is a Mansfield if the beldam is a Hypentelium. sent2: if the villain is a crop and it is a Redskin that the betatron is not neurogenic is incorrect. sent3: if the betatron is a dolphinfish that the beldam is not a kind of a salutatorian and it is not a kind of a dolphinfish is false. sent4: that the postmistress does not impersonate Reagan is not wrong if the fact that the Courtelle red-eyes and it is a yaws is not true. sent5: if the villain is a crop and is not a Redskin the betatron is neurogenic. sent6: that the beldam is a salutatorian but it is not a kind of a dolphinfish does not hold. sent7: if the betatron is a dolphinfish the fact that the beldam is a salutatorian but it is not a dolphinfish is wrong. sent8: the postmistress does not impersonate Reagan if the Courtelle is not a yaws. sent9: the villain is not a Redskin. sent10: the fact that the beldam is not a salutatorian and is a dolphinfish is false if the betatron is a dolphinfish. sent11: the Courtelle is not a cabin. sent12: if something does cabin then it is not a Mansfield. sent13: there is something such that it impersonates Reagan. sent14: there is nothing such that it is neurogenic a Redskin. sent15: the fact that the beldam is not a salutatorian but a dolphinfish does not hold. sent16: the villain is not a Redskin if there is something such that the fact that it does not impersonate Reagan is not incorrect. sent17: the fact that the fact that the Courtelle red-eyes and is a yaws is not correct hold if it is not a cabin. sent18: if something impersonates Reagan then the Courtelle is not a crop and/or is not a cabin. sent19: if that something is not a kind of a salutatorian and is not a dolphinfish is false it is a Hypentelium. sent20: if something is neurogenic it is a dolphinfish. ; $proof$ = 
sent17 & sent11 -> int1: that the Courtelle does red-eye and is a kind of a yaws is false.; int1 & sent4 -> int2: the fact that the postmistress impersonates Reagan is wrong.; int2 -> int3: there exists something such that it does not impersonate Reagan.; sent20 -> int4: if the betatron is neurogenic then it is a dolphinfish.; sent19 -> int5: if the fact that the beldam is not a kind of a salutatorian and it is not a kind of a dolphinfish does not hold it is a Hypentelium.; __UNKNOWN__