that the savoy is not a reader or it is a pragmatic or both is wrong.
sent1: if the savoy is pragmatic either the warder is a pragmatic or it is a comforted or both. sent2: if something is calcific then it does measure muffin. sent3: the savoy is not a reader and/or is a pragmatic if the warder is a kind of a reader. sent4: the fact that the warder is a kind of a reader that is a kind of a pragmatic is incorrect. sent5: something that does effloresce is either a foretaste or not presidential or both. sent6: something is a kind of a reader if that it is not a Palaemonidae and it is a comforted is not true. sent7: there is nothing such that it is not a Palaemonidae and it is a comforted. sent8: the warder is a reader if it is not a comforted. sent9: the fact that the chesterfield does measure slur is true. sent10: the orzo is a kind of a sunburn if there is something such that the fact that the fact that it is not a milled but an amateurism is not false does not hold. sent11: if something does not comfort the fact that it is a kind of a reader is right. sent12: if the newcomer is a kind of a foretaste and/or it is not presidential then the luminescence does not deposit sumo. sent13: the soapberry is a comforted. sent14: if the chesterfield does measure slur the fact that the candlelight is not a milled but an amateurism is not right. sent15: if there exists something such that that it is a sunburn hold the newcomer effloresces but it is non-limnological.
sent7 -> int1: that the warder is not a Palaemonidae but it comforts is false.; sent6 -> int2: the warder is a reader if the fact that it is not a Palaemonidae and comforts is wrong.; int1 & int2 -> int3: the warder is a reader.; int3 & sent3 -> hypothesis;
that either the savoy is not a reader or it is a kind of a pragmatic or both is not right.
sent5 -> int4: if that the newcomer effloresces is not wrong it is a foretaste and/or it is not presidential.; sent14 & sent9 -> int5: that that the candlelight is not a milled but an amateurism is incorrect is not false.; int5 -> int6: there exists something such that that it does not mill and it is an amateurism is false.; int6 & sent10 -> int7: the orzo is a sunburn.; int7 -> int8: that something is a sunburn is true.; int8 & sent15 -> int9: the newcomer effloresces but it is not limnological.; int9 -> int10: the newcomer effloresces.; int4 & int10 -> int11: either the newcomer is a kind of a foretaste or it is not presidential or both.; sent12 & int11 -> int12: the luminescence does not deposit sumo.; int12 -> int13: there is something such that it does not deposit sumo.;
$hypothesis$ = that the savoy is not a reader or it is a pragmatic or both is wrong. ; $context$ = sent1: if the savoy is pragmatic either the warder is a pragmatic or it is a comforted or both. sent2: if something is calcific then it does measure muffin. sent3: the savoy is not a reader and/or is a pragmatic if the warder is a kind of a reader. sent4: the fact that the warder is a kind of a reader that is a kind of a pragmatic is incorrect. sent5: something that does effloresce is either a foretaste or not presidential or both. sent6: something is a kind of a reader if that it is not a Palaemonidae and it is a comforted is not true. sent7: there is nothing such that it is not a Palaemonidae and it is a comforted. sent8: the warder is a reader if it is not a comforted. sent9: the fact that the chesterfield does measure slur is true. sent10: the orzo is a kind of a sunburn if there is something such that the fact that the fact that it is not a milled but an amateurism is not false does not hold. sent11: if something does not comfort the fact that it is a kind of a reader is right. sent12: if the newcomer is a kind of a foretaste and/or it is not presidential then the luminescence does not deposit sumo. sent13: the soapberry is a comforted. sent14: if the chesterfield does measure slur the fact that the candlelight is not a milled but an amateurism is not right. sent15: if there exists something such that that it is a sunburn hold the newcomer effloresces but it is non-limnological. ; $proof$ = 
sent7 -> int1: that the warder is not a Palaemonidae but it comforts is false.; sent6 -> int2: the warder is a reader if the fact that it is not a Palaemonidae and comforts is wrong.; int1 & int2 -> int3: the warder is a reader.; int3 & sent3 -> hypothesis; __DISPROVED__