the Calymmatobacterium is a glimpse.
sent1: there exists something such that that it is not a sawfly hold. sent2: the scrapbook is not estrogenic but it is a kind of a Zionist. sent3: if something is not a kind of a hodman then it is seedy. sent4: something is not seedy if it is not odd and it is a kind of a Zionist. sent5: if the amphibolite is estrogenic the scrapbook is a kind of a glimpse. sent6: the Calymmatobacterium is a glimpse if the amphibolite is not odd. sent7: the fact that the scrapbook is estrogenic and it is a Zionist is not correct if the springboard is seedy. sent8: the springboard is seedy if it is not a hodman. sent9: the springboard is a kind of a hodman. sent10: the nakedwood does not update Nicaragua. sent11: if there is something such that it glimpses then the fact that the spinmeister does not glimpses but it encapsulates Bruneian is wrong. sent12: the springboard is estrogenic. sent13: something that is not seedy is estrogenic but not a glimpse. sent14: the fact that that the scrapbook is both not estrogenic and Zionist is not true hold if the springboard is seedy. sent15: that the amphibolite is not odd is not wrong if there is something such that it is not a sawfly and it is a kind of a hodman. sent16: the scrapbook is not estrogenic. sent17: the fact that the scrapbook is estrogenic and it is a Zionist is not right. sent18: if that something is not a sawfly but it is a hodman is wrong it is seedy. sent19: there exists something such that it is a hodman.
sent18 -> int1: the springboard is seedy if that it is not a kind of a sawfly and it is a hodman is not correct.; void -> assump1: Let's assume that that the springboard is not a sawfly but a hodman does not hold.; int1 & assump1 -> int2: the springboard is seedy.; int2 & sent14 -> int3: that the scrapbook is a kind of non-estrogenic a Zionist is wrong.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the springboard is not a sawfly but it is a hodman.; int5 -> int6: there exists something such that it is not a sawfly and it is a hodman.; int6 & sent15 -> int7: the amphibolite is not odd.; int7 & sent6 -> hypothesis;
the fact that the spinmeister is not a glimpse and encapsulates Bruneian is wrong.
$hypothesis$ = the Calymmatobacterium is a glimpse. ; $context$ = sent1: there exists something such that that it is not a sawfly hold. sent2: the scrapbook is not estrogenic but it is a kind of a Zionist. sent3: if something is not a kind of a hodman then it is seedy. sent4: something is not seedy if it is not odd and it is a kind of a Zionist. sent5: if the amphibolite is estrogenic the scrapbook is a kind of a glimpse. sent6: the Calymmatobacterium is a glimpse if the amphibolite is not odd. sent7: the fact that the scrapbook is estrogenic and it is a Zionist is not correct if the springboard is seedy. sent8: the springboard is seedy if it is not a hodman. sent9: the springboard is a kind of a hodman. sent10: the nakedwood does not update Nicaragua. sent11: if there is something such that it glimpses then the fact that the spinmeister does not glimpses but it encapsulates Bruneian is wrong. sent12: the springboard is estrogenic. sent13: something that is not seedy is estrogenic but not a glimpse. sent14: the fact that that the scrapbook is both not estrogenic and Zionist is not true hold if the springboard is seedy. sent15: that the amphibolite is not odd is not wrong if there is something such that it is not a sawfly and it is a kind of a hodman. sent16: the scrapbook is not estrogenic. sent17: the fact that the scrapbook is estrogenic and it is a Zionist is not right. sent18: if that something is not a sawfly but it is a hodman is wrong it is seedy. sent19: there exists something such that it is a hodman. ; $proof$ = 
sent18 -> int1: the springboard is seedy if that it is not a kind of a sawfly and it is a hodman is not correct.; void -> assump1: Let's assume that that the springboard is not a sawfly but a hodman does not hold.; int1 & assump1 -> int2: the springboard is seedy.; int2 & sent14 -> int3: that the scrapbook is a kind of non-estrogenic a Zionist is wrong.; int3 & sent2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the springboard is not a sawfly but it is a hodman.; int5 -> int6: there exists something such that it is not a sawfly and it is a hodman.; int6 & sent15 -> int7: the amphibolite is not odd.; int7 & sent6 -> hypothesis; __PROVED__