the potential shelters mycophagist but it is not circulatory.
sent1: if something is both not an epidemic and a jasmine then the flop does not pipe Sade. sent2: the ground is not a kind of a hardinggrass if the fact that it does not pipe Moscow and is a hardinggrass is wrong. sent3: the ground provides Hynerpeton if there is something such that that it does not provide illiteracy and/or it does not pipe languor is false. sent4: either the monastery provides illiteracy or it does not pipe languor or both. sent5: the fact that something is not a jasmine is correct. sent6: if a non-epidemic thing is not a jasmine the fact that the flop does not pipe Sade is not false. sent7: the fact that the ground does not pipe Moscow and is a hardinggrass is not correct. sent8: that the potential is not a kind of a jasmine and is a kind of an epidemic does not hold if something is not a hardinggrass. sent9: something pipes Sade if that it is not a jasmine and it is an epidemic is wrong. sent10: something provides dalasi. sent11: the flop worsens if that the ground provides Hynerpeton is correct. sent12: that the potential shelters mycophagist and is circulatory is incorrect. sent13: there exists something such that it is both not an epidemic and not a jasmine. sent14: the monastery does not shelter mycophagist if the fact that it does not provide illiteracy hold. sent15: that the potential shelters mycophagist and it is circulatory is not true if the monastery does not shelters mycophagist. sent16: there is something such that it is a kind of immature thing that does not subside. sent17: that the potential shelters mycophagist and is not circulatory is false if the monastery does not shelters mycophagist. sent18: the monastery does not shelter mycophagist if it does not provide illiteracy or it does not pipe languor or both. sent19: something that worsens does pipe Sade. sent20: there is something such that the fact that it provides illiteracy or does not pipe languor or both is not true. sent21: something does not provide illiteracy and/or does not pipe languor. sent22: if something does not provide Hynerpeton it shelters mycophagist and is not circulatory. sent23: the monastery does provide illiteracy. sent24: if something that pipes Sade worsens then that it does not provide Hynerpeton is correct. sent25: there exists something such that it is epidemic and it is not a jasmine.
void -> assump1: Let's assume that that the monastery does not provide illiteracy or it does not pipe languor or both does not hold.; assump1 -> int1: there exists something such that that it does not provide illiteracy or does not pipe languor or both is wrong.; int1 & sent3 -> int2: the ground provides Hynerpeton.; int2 & sent11 -> int3: the flop worsens.; sent19 -> int4: if the flop worsens it does pipe Sade.; int3 & int4 -> int5: the flop pipes Sade.; sent13 & sent6 -> int6: the flop does not pipe Sade.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the monastery does not provide illiteracy and/or it does not pipe languor.; int8 & sent18 -> int9: the monastery does not shelter mycophagist.; int9 & sent17 -> hypothesis;
the potential does shelter mycophagist and is not circulatory.
sent22 -> int10: that the potential shelters mycophagist but it is not circulatory if the potential does not provide Hynerpeton is true.; sent24 -> int11: the potential does not provide Hynerpeton if it does pipe Sade and it worsens.; sent9 -> int12: if that the potential is not a jasmine but it is an epidemic is wrong then it does pipe Sade.; sent2 & sent7 -> int13: the ground is not a hardinggrass.; int13 -> int14: there exists something such that the fact that it is not a kind of a hardinggrass is not wrong.; int14 & sent8 -> int15: that the potential is not a jasmine but epidemic does not hold.; int12 & int15 -> int16: the potential does pipe Sade.;
$hypothesis$ = the potential shelters mycophagist but it is not circulatory. ; $context$ = sent1: if something is both not an epidemic and a jasmine then the flop does not pipe Sade. sent2: the ground is not a kind of a hardinggrass if the fact that it does not pipe Moscow and is a hardinggrass is wrong. sent3: the ground provides Hynerpeton if there is something such that that it does not provide illiteracy and/or it does not pipe languor is false. sent4: either the monastery provides illiteracy or it does not pipe languor or both. sent5: the fact that something is not a jasmine is correct. sent6: if a non-epidemic thing is not a jasmine the fact that the flop does not pipe Sade is not false. sent7: the fact that the ground does not pipe Moscow and is a hardinggrass is not correct. sent8: that the potential is not a kind of a jasmine and is a kind of an epidemic does not hold if something is not a hardinggrass. sent9: something pipes Sade if that it is not a jasmine and it is an epidemic is wrong. sent10: something provides dalasi. sent11: the flop worsens if that the ground provides Hynerpeton is correct. sent12: that the potential shelters mycophagist and is circulatory is incorrect. sent13: there exists something such that it is both not an epidemic and not a jasmine. sent14: the monastery does not shelter mycophagist if the fact that it does not provide illiteracy hold. sent15: that the potential shelters mycophagist and it is circulatory is not true if the monastery does not shelters mycophagist. sent16: there is something such that it is a kind of immature thing that does not subside. sent17: that the potential shelters mycophagist and is not circulatory is false if the monastery does not shelters mycophagist. sent18: the monastery does not shelter mycophagist if it does not provide illiteracy or it does not pipe languor or both. sent19: something that worsens does pipe Sade. sent20: there is something such that the fact that it provides illiteracy or does not pipe languor or both is not true. sent21: something does not provide illiteracy and/or does not pipe languor. sent22: if something does not provide Hynerpeton it shelters mycophagist and is not circulatory. sent23: the monastery does provide illiteracy. sent24: if something that pipes Sade worsens then that it does not provide Hynerpeton is correct. sent25: there exists something such that it is epidemic and it is not a jasmine. ; $proof$ = 
void -> assump1: Let's assume that that the monastery does not provide illiteracy or it does not pipe languor or both does not hold.; assump1 -> int1: there exists something such that that it does not provide illiteracy or does not pipe languor or both is wrong.; int1 & sent3 -> int2: the ground provides Hynerpeton.; int2 & sent11 -> int3: the flop worsens.; sent19 -> int4: if the flop worsens it does pipe Sade.; int3 & int4 -> int5: the flop pipes Sade.; sent13 & sent6 -> int6: the flop does not pipe Sade.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the monastery does not provide illiteracy and/or it does not pipe languor.; int8 & sent18 -> int9: the monastery does not shelter mycophagist.; int9 & sent17 -> hypothesis; __DISPROVED__