the fact that the portcullis is dictyopteran and it is agonal is not true.
sent1: the portcullis is dictyopteran and agonal if there are non-tidal things. sent2: something is not scalic if the fact that it is not a neon and it is not pointless does not hold. sent3: if something is a kind of a manila then the fact that it is not a neon and it is not pointless does not hold. sent4: if there is something such that that it is both not a bathe and a Jonson is false then the parturiency does not rekindle. sent5: if that the feature is pointless and it is a kind of a manila is not true the enkephalin is not tidal. sent6: if the fact that the kern does not rekindle and it is not a maternalism is wrong the parturiency is not a kind of a radiography. sent7: if the fact that the kern is non-scalic thing that is a maternalism is wrong then the musician is not a neon. sent8: if the musician is not a kind of a neon then that the feature is pointless and it is a manila does not hold. sent9: if something is not scalic then that it does not rekindle and it is not a maternalism is wrong. sent10: the fact that that the kiwi is not a bathe but it is a Jonson is not right is true. sent11: if that the parturiency does not rekindle is true then that the fact that the kern is not scalic but a maternalism is wrong hold.
sent10 -> int1: there is something such that the fact that it does not bathe and is a Jonson does not hold.; int1 & sent4 -> int2: the parturiency does not rekindle.; sent11 & int2 -> int3: that the kern is not scalic and is a kind of a maternalism is incorrect.; sent7 & int3 -> int4: the musician is not a neon.; sent8 & int4 -> int5: the fact that the feature is pointless a manila is false.; sent5 & int5 -> int6: the enkephalin is not tidal.; int6 -> int7: something is not tidal.; int7 & sent1 -> hypothesis;
there exists something such that it is not a radiography.
sent9 -> int8: if the kern is not scalic then the fact that it does not rekindle and it is not a maternalism is not right.; sent2 -> int9: the kern is not scalic if that it is not a neon and it is not pointless does not hold.; sent3 -> int10: if the kern is a manila then the fact that it is not a neon and it is not pointless is incorrect.;
$hypothesis$ = the fact that the portcullis is dictyopteran and it is agonal is not true. ; $context$ = sent1: the portcullis is dictyopteran and agonal if there are non-tidal things. sent2: something is not scalic if the fact that it is not a neon and it is not pointless does not hold. sent3: if something is a kind of a manila then the fact that it is not a neon and it is not pointless does not hold. sent4: if there is something such that that it is both not a bathe and a Jonson is false then the parturiency does not rekindle. sent5: if that the feature is pointless and it is a kind of a manila is not true the enkephalin is not tidal. sent6: if the fact that the kern does not rekindle and it is not a maternalism is wrong the parturiency is not a kind of a radiography. sent7: if the fact that the kern is non-scalic thing that is a maternalism is wrong then the musician is not a neon. sent8: if the musician is not a kind of a neon then that the feature is pointless and it is a manila does not hold. sent9: if something is not scalic then that it does not rekindle and it is not a maternalism is wrong. sent10: the fact that that the kiwi is not a bathe but it is a Jonson is not right is true. sent11: if that the parturiency does not rekindle is true then that the fact that the kern is not scalic but a maternalism is wrong hold. ; $proof$ = 
sent10 -> int1: there is something such that the fact that it does not bathe and is a Jonson does not hold.; int1 & sent4 -> int2: the parturiency does not rekindle.; sent11 & int2 -> int3: that the kern is not scalic and is a kind of a maternalism is incorrect.; sent7 & int3 -> int4: the musician is not a neon.; sent8 & int4 -> int5: the fact that the feature is pointless a manila is false.; sent5 & int5 -> int6: the enkephalin is not tidal.; int6 -> int7: something is not tidal.; int7 & sent1 -> hypothesis; __DISPROVED__