the archiannelid either is not antiquarian or is non-cerebrovascular or both.
sent1: the fact that the bondsman clangors Monophysitism and it is a kind of a payday is not right. sent2: something is not cerebrovascular and it is not antiquarian. sent3: there is something such that it is not a Molnar. sent4: the jacksmelt does not premise dale and/or does not color. sent5: if the jacksmelt is cerebrovascular then the archiannelid is not antiquarian and/or it is cerebrovascular. sent6: if the jacksmelt is cerebrovascular then the archiannelid is antiquarian and/or is not cerebrovascular. sent7: the velveteen is not a kind of a bedsore if the trestlework is a kind of a pseudonym but it is not a fudge. sent8: the fact that there exists something such that it does not premise dale and is antiquarian is correct. sent9: the jacksmelt is antiquarian if it premises dale. sent10: there exists something such that it is nonpolitical and it is not a kind of a Molnar. sent11: if a political thing is not a kind of a Molnar that the jacksmelt premises dale hold. sent12: the archiannelid is not antiquarian and/or it is not cerebrovascular if the jacksmelt is cerebrovascular. sent13: something is not nonpolitical but it is a Molnar. sent14: there is something such that the fact that it is not antiquarian hold. sent15: there exists something such that it is both not nonpolitical and not a Molnar. sent16: if that the bondsman clangors Monophysitism and it is a payday does not hold then it is not a payday. sent17: the fact that the archiannelid is not antiquarian and/or it is not cerebrovascular is not correct if the jacksmelt does not premise dale. sent18: the archiannelid is not antiquarian or it is cerebrovascular or both. sent19: the archiannelid is antiquarian and/or not cerebrovascular. sent20: something is cerebrovascular if it premises dale.
sent15 & sent11 -> int1: the jacksmelt premises dale.; sent20 -> int2: if the jacksmelt premises dale then it is cerebrovascular.; int1 & int2 -> int3: the jacksmelt is cerebrovascular.; int3 & sent12 -> hypothesis;
that either the archiannelid is not antiquarian or it is non-cerebrovascular or both does not hold.
sent16 & sent1 -> int4: the fact that the bondsman is not a payday is not wrong.; int4 -> int5: there is something such that the fact that it is a kind of a payday is false.;
$hypothesis$ = the archiannelid either is not antiquarian or is non-cerebrovascular or both. ; $context$ = sent1: the fact that the bondsman clangors Monophysitism and it is a kind of a payday is not right. sent2: something is not cerebrovascular and it is not antiquarian. sent3: there is something such that it is not a Molnar. sent4: the jacksmelt does not premise dale and/or does not color. sent5: if the jacksmelt is cerebrovascular then the archiannelid is not antiquarian and/or it is cerebrovascular. sent6: if the jacksmelt is cerebrovascular then the archiannelid is antiquarian and/or is not cerebrovascular. sent7: the velveteen is not a kind of a bedsore if the trestlework is a kind of a pseudonym but it is not a fudge. sent8: the fact that there exists something such that it does not premise dale and is antiquarian is correct. sent9: the jacksmelt is antiquarian if it premises dale. sent10: there exists something such that it is nonpolitical and it is not a kind of a Molnar. sent11: if a political thing is not a kind of a Molnar that the jacksmelt premises dale hold. sent12: the archiannelid is not antiquarian and/or it is not cerebrovascular if the jacksmelt is cerebrovascular. sent13: something is not nonpolitical but it is a Molnar. sent14: there is something such that the fact that it is not antiquarian hold. sent15: there exists something such that it is both not nonpolitical and not a Molnar. sent16: if that the bondsman clangors Monophysitism and it is a payday does not hold then it is not a payday. sent17: the fact that the archiannelid is not antiquarian and/or it is not cerebrovascular is not correct if the jacksmelt does not premise dale. sent18: the archiannelid is not antiquarian or it is cerebrovascular or both. sent19: the archiannelid is antiquarian and/or not cerebrovascular. sent20: something is cerebrovascular if it premises dale. ; $proof$ = 
sent15 & sent11 -> int1: the jacksmelt premises dale.; sent20 -> int2: if the jacksmelt premises dale then it is cerebrovascular.; int1 & int2 -> int3: the jacksmelt is cerebrovascular.; int3 & sent12 -> hypothesis; __PROVED__