the dregs is not synoptic.
sent1: the dregs does not spend separation. sent2: there is something such that it is not moonlit. sent3: there exists something such that it is not unproductive and/or it is not a mealtime. sent4: the fact that there exists something such that it is not similar is true. sent5: if the separation is not a thioguanine the endoscope is not moonlit. sent6: the fact that something is a kind of a thioguanine but it is not artificial is not correct if it is authorial. sent7: if there is something such that it does not caseate and/or it is not bimorphemic the separation is not artificial. sent8: the fact that the endoscope is artificial and/or authorial is not right if the separation is not similar. sent9: there exists something such that either it caseates or it is not bimorphemic or both. sent10: there exists something such that it either is moonlit or is similar or both. sent11: if something is not moonlit then the fact that that it is a thioguanine and/or is artificial hold does not hold. sent12: the endoscope is not artificial if the separation is not similar. sent13: the dregs is artificial. sent14: if there exists something such that that it does not caseate is right the separation is not artificial. sent15: the fact that the dregs is moonlit is wrong if there is something such that that it is synoptic and/or it is authorial does not hold. sent16: the dregs is not synoptic if there is something such that the fact that it is moonlit and/or it is similar does not hold. sent17: that the endoscope is a kind of a thioguanine and is not moonlit is not right. sent18: the Duralumin is not moonlit. sent19: either something does not caseate or it is not bimorphemic or both. sent20: that the separation is synoptic and/or it is similar is incorrect if the dregs is not authorial. sent21: something either is not synoptic or is not artificial or both. sent22: the separation is not moonlit if the endoscope is not authorial. sent23: if the fact that that the separation is a thioguanine is not wrong is not correct then the fact that the endoscope is moonlit or it is similar or both is incorrect. sent24: there is something such that either it does not caseate or it is bimorphemic or both. sent25: the fact that the separation is authorial hold. sent26: the endoscope is not moonlit.
sent19 & sent7 -> int1: the separation is not artificial.; void -> assump1: Let's assume that the separation is a kind of a thioguanine.; int1 & assump1 -> int2: the separation is a thioguanine but it is not artificial.; sent6 -> int3: if the separation is authorial then that it is a kind of a thioguanine that is not artificial is not right.; int3 & sent25 -> int4: the fact that the separation is a thioguanine and is not artificial does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the separation is not a thioguanine.; int6 & sent23 -> int7: the fact that the endoscope is moonlit and/or is similar is false.; int7 -> int8: there is something such that the fact that it is moonlit and/or it is similar is not right.; int8 & sent16 -> hypothesis;
the fact that the dregs is not non-synoptic is not wrong.
sent11 -> int9: if the separation is not moonlit then the fact that it is a kind of a thioguanine and/or it is artificial is false.;
$hypothesis$ = the dregs is not synoptic. ; $context$ = sent1: the dregs does not spend separation. sent2: there is something such that it is not moonlit. sent3: there exists something such that it is not unproductive and/or it is not a mealtime. sent4: the fact that there exists something such that it is not similar is true. sent5: if the separation is not a thioguanine the endoscope is not moonlit. sent6: the fact that something is a kind of a thioguanine but it is not artificial is not correct if it is authorial. sent7: if there is something such that it does not caseate and/or it is not bimorphemic the separation is not artificial. sent8: the fact that the endoscope is artificial and/or authorial is not right if the separation is not similar. sent9: there exists something such that either it caseates or it is not bimorphemic or both. sent10: there exists something such that it either is moonlit or is similar or both. sent11: if something is not moonlit then the fact that that it is a thioguanine and/or is artificial hold does not hold. sent12: the endoscope is not artificial if the separation is not similar. sent13: the dregs is artificial. sent14: if there exists something such that that it does not caseate is right the separation is not artificial. sent15: the fact that the dregs is moonlit is wrong if there is something such that that it is synoptic and/or it is authorial does not hold. sent16: the dregs is not synoptic if there is something such that the fact that it is moonlit and/or it is similar does not hold. sent17: that the endoscope is a kind of a thioguanine and is not moonlit is not right. sent18: the Duralumin is not moonlit. sent19: either something does not caseate or it is not bimorphemic or both. sent20: that the separation is synoptic and/or it is similar is incorrect if the dregs is not authorial. sent21: something either is not synoptic or is not artificial or both. sent22: the separation is not moonlit if the endoscope is not authorial. sent23: if the fact that that the separation is a thioguanine is not wrong is not correct then the fact that the endoscope is moonlit or it is similar or both is incorrect. sent24: there is something such that either it does not caseate or it is bimorphemic or both. sent25: the fact that the separation is authorial hold. sent26: the endoscope is not moonlit. ; $proof$ = 
sent19 & sent7 -> int1: the separation is not artificial.; void -> assump1: Let's assume that the separation is a kind of a thioguanine.; int1 & assump1 -> int2: the separation is a thioguanine but it is not artificial.; sent6 -> int3: if the separation is authorial then that it is a kind of a thioguanine that is not artificial is not right.; int3 & sent25 -> int4: the fact that the separation is a thioguanine and is not artificial does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the separation is not a thioguanine.; int6 & sent23 -> int7: the fact that the endoscope is moonlit and/or is similar is false.; int7 -> int8: there is something such that the fact that it is moonlit and/or it is similar is not right.; int8 & sent16 -> hypothesis; __PROVED__