the glaciation is not non-scalic.
sent1: there is something such that the fact that it is not a outwork and does not wrap antipathy is not true. sent2: if there is something such that that it clouds is not incorrect the tangor does not hunger elucidation. sent3: there exists something such that that that it is imperialistic and is a Andorran is true is not right. sent4: the fact that the antifungal is not imperialistic but it is Andorran is wrong. sent5: if something is a outwork the tangor wraps antipathy. sent6: the fact that the antifungal is imperialistic a Andorran is not right. sent7: if there is something such that the fact that it is a kind of non-imperialistic thing that is a kind of a Andorran is false the fact that the tangor is imperialistic is not wrong. sent8: something does not construct depth if it is imperialistic and it does wrap newspaper. sent9: the glaciation is non-scalic if that the tangor does not construct depth but it wraps antipathy is correct. sent10: something does not rage folderol but it does wrap newspaper if it does not hunger elucidation. sent11: there is something such that that it is a kind of a outwork and does not wrap antipathy is incorrect. sent12: the fact that the antifungal is Slavonic is right. sent13: there is something such that it is a clouded. sent14: the glaciation does not wrap newspaper. sent15: the tangor does wrap antipathy if there exists something such that that it is not a kind of a outwork and it does not wrap antipathy is not true.
sent10 -> int1: if the tangor does not hunger elucidation then it does not rage folderol and it wraps newspaper.; sent13 & sent2 -> int2: the fact that the tangor does not hunger elucidation hold.; int1 & int2 -> int3: the tangor does not rage folderol and wraps newspaper.; int3 -> int4: the tangor does wrap newspaper.; sent4 -> int5: there is something such that the fact that it is not imperialistic but Andorran does not hold.; int5 & sent7 -> int6: the tangor is imperialistic.; int4 & int6 -> int7: the tangor is imperialistic and it does wrap newspaper.; sent8 -> int8: the tangor does not construct depth if it is imperialistic thing that wraps newspaper.; int7 & int8 -> int9: the tangor does not construct depth.; sent1 & sent15 -> int10: the tangor wraps antipathy.; int9 & int10 -> int11: the tangor does not construct depth but it does wrap antipathy.; int11 & sent9 -> hypothesis;
$hypothesis$ = the glaciation is not non-scalic. ; $context$ = sent1: there is something such that the fact that it is not a outwork and does not wrap antipathy is not true. sent2: if there is something such that that it clouds is not incorrect the tangor does not hunger elucidation. sent3: there exists something such that that that it is imperialistic and is a Andorran is true is not right. sent4: the fact that the antifungal is not imperialistic but it is Andorran is wrong. sent5: if something is a outwork the tangor wraps antipathy. sent6: the fact that the antifungal is imperialistic a Andorran is not right. sent7: if there is something such that the fact that it is a kind of non-imperialistic thing that is a kind of a Andorran is false the fact that the tangor is imperialistic is not wrong. sent8: something does not construct depth if it is imperialistic and it does wrap newspaper. sent9: the glaciation is non-scalic if that the tangor does not construct depth but it wraps antipathy is correct. sent10: something does not rage folderol but it does wrap newspaper if it does not hunger elucidation. sent11: there is something such that that it is a kind of a outwork and does not wrap antipathy is incorrect. sent12: the fact that the antifungal is Slavonic is right. sent13: there is something such that it is a clouded. sent14: the glaciation does not wrap newspaper. sent15: the tangor does wrap antipathy if there exists something such that that it is not a kind of a outwork and it does not wrap antipathy is not true. ; $proof$ = 
sent10 -> int1: if the tangor does not hunger elucidation then it does not rage folderol and it wraps newspaper.; sent13 & sent2 -> int2: the fact that the tangor does not hunger elucidation hold.; int1 & int2 -> int3: the tangor does not rage folderol and wraps newspaper.; int3 -> int4: the tangor does wrap newspaper.; sent4 -> int5: there is something such that the fact that it is not imperialistic but Andorran does not hold.; int5 & sent7 -> int6: the tangor is imperialistic.; int4 & int6 -> int7: the tangor is imperialistic and it does wrap newspaper.; sent8 -> int8: the tangor does not construct depth if it is imperialistic thing that wraps newspaper.; int7 & int8 -> int9: the tangor does not construct depth.; sent1 & sent15 -> int10: the tangor wraps antipathy.; int9 & int10 -> int11: the tangor does not construct depth but it does wrap antipathy.; int11 & sent9 -> hypothesis; __DISPROVED__