there exists something such that it does not weed Psilotum.
sent1: that the macule does not weed Psilotum is not wrong if something that is a K.E. is not Hugoesque. sent2: the roper is a K.E. but it is not Hugoesque. sent3: the roper is not Hugoesque. sent4: the pastry is Hugoesque. sent5: there is something such that it is not monocarboxylic. sent6: there exists something such that it does not weed recall. sent7: there is something such that it is a K.E.. sent8: the fact that the bolete does corner warden and it is latitudinal is wrong.
sent2 -> int1: there exists something such that it is a K.E. and it is not Hugoesque.; int1 & sent1 -> int2: the macule does not weed Psilotum.; int2 -> hypothesis;
there is something such that it is not chromatinic.
sent8 -> int3: there is something such that the fact that it does corner warden and it is latitudinal does not hold.;
$hypothesis$ = there exists something such that it does not weed Psilotum. ; $context$ = sent1: that the macule does not weed Psilotum is not wrong if something that is a K.E. is not Hugoesque. sent2: the roper is a K.E. but it is not Hugoesque. sent3: the roper is not Hugoesque. sent4: the pastry is Hugoesque. sent5: there is something such that it is not monocarboxylic. sent6: there exists something such that it does not weed recall. sent7: there is something such that it is a K.E.. sent8: the fact that the bolete does corner warden and it is latitudinal is wrong. ; $proof$ = 
sent2 -> int1: there exists something such that it is a K.E. and it is not Hugoesque.; int1 & sent1 -> int2: the macule does not weed Psilotum.; int2 -> hypothesis; __PROVED__