the blackpoll does defuse epicalyx.
sent1: if the mohair is anaglyphic thing that is not aural then that it is not viceregal is not false. sent2: if the hatbox defuses epicalyx the mohair defuses epicalyx. sent3: if that the blackpoll is either a gnomon or polar or both is not true then it is a mesentery. sent4: if something is not anaglyphic and not non-aural then it is not viceregal. sent5: if that either the blackpoll is a gnomon or it is not polar or both is not true it is a mesentery. sent6: the blackpoll defuses epicalyx if the mohair defuses epicalyx. sent7: if something is both anaglyphic and non-aural then it is not viceregal. sent8: if there is something such that it defuses epicalyx and is a mesentery the mohair is viceregal. sent9: if the blackpoll is non-viceregal and a mesentery that the hatbox does not defuse epicalyx is not incorrect. sent10: that either the blackpoll is a gnomon or it is not polar or both is not correct. sent11: if something that is not anaglyphic is not aural then it is not viceregal. sent12: that the blackpoll is polar is not false. sent13: something is a mesentery. sent14: the mohair is not viceregal if it is both not anaglyphic and aural. sent15: the mohair is not anaglyphic and it is not aural.
sent5 & sent10 -> int1: the blackpoll is a mesentery.; void -> assump1: Let's assume that the blackpoll does defuse epicalyx.; int1 & assump1 -> int2: the blackpoll defuses epicalyx and it is a mesentery.; int2 -> int3: there is something such that it defuses epicalyx and it is a mesentery.; int3 & sent8 -> int4: the mohair is viceregal.; sent11 -> int5: if the mohair is not anaglyphic and it is not aural it is not viceregal.; int5 & sent15 -> int6: the mohair is not viceregal.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the fact that the hatbox does not defuse epicalyx is not incorrect.
$hypothesis$ = the blackpoll does defuse epicalyx. ; $context$ = sent1: if the mohair is anaglyphic thing that is not aural then that it is not viceregal is not false. sent2: if the hatbox defuses epicalyx the mohair defuses epicalyx. sent3: if that the blackpoll is either a gnomon or polar or both is not true then it is a mesentery. sent4: if something is not anaglyphic and not non-aural then it is not viceregal. sent5: if that either the blackpoll is a gnomon or it is not polar or both is not true it is a mesentery. sent6: the blackpoll defuses epicalyx if the mohair defuses epicalyx. sent7: if something is both anaglyphic and non-aural then it is not viceregal. sent8: if there is something such that it defuses epicalyx and is a mesentery the mohair is viceregal. sent9: if the blackpoll is non-viceregal and a mesentery that the hatbox does not defuse epicalyx is not incorrect. sent10: that either the blackpoll is a gnomon or it is not polar or both is not correct. sent11: if something that is not anaglyphic is not aural then it is not viceregal. sent12: that the blackpoll is polar is not false. sent13: something is a mesentery. sent14: the mohair is not viceregal if it is both not anaglyphic and aural. sent15: the mohair is not anaglyphic and it is not aural. ; $proof$ = 
sent5 & sent10 -> int1: the blackpoll is a mesentery.; void -> assump1: Let's assume that the blackpoll does defuse epicalyx.; int1 & assump1 -> int2: the blackpoll defuses epicalyx and it is a mesentery.; int2 -> int3: there is something such that it defuses epicalyx and it is a mesentery.; int3 & sent8 -> int4: the mohair is viceregal.; sent11 -> int5: if the mohair is not anaglyphic and it is not aural it is not viceregal.; int5 & sent15 -> int6: the mohair is not viceregal.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__