the drupe Simonizes undependability if the acolyte is a messuage.
sent1: something is unpriestly or is cachectic or both. sent2: the drupe is a microsporangium if the fact that it is not a shillelagh and it does not evaluate does not hold. sent3: the fact that the drupe boosts but it does not heat Saladin is not right. sent4: if there exists something such that it is not Voltarian the acolyte is smokeless. sent5: the acolyte is a bloomer if something is not a kind of a rubberneck. sent6: the drupe is not a kind of a messuage if there exists something such that that it is apomictic and does Simonize undependability is not correct. sent7: the acolyte is cachectic. sent8: the acolyte is a kind of a microsporangium if there is something such that either it is unpriestly or it is not cachectic or both. sent9: the recruit Simonizes undependability. sent10: the acolyte is a messuage if something does not Simonize undependability. sent11: the acolyte is a kind of afloat thing that does Simonize lapsed. sent12: the drupe is a kind of a microsporangium. sent13: the fact that something is not a shillelagh and does not evaluate is not right if it is not a kind of a boost. sent14: if the fact that the drupe boosts and does not heat Saladin is false then it is not a boosts. sent15: the drupe is cachectic. sent16: the acolyte does specify. sent17: the thiazide is a microsporangium. sent18: if a messuage does Simonize undependability then the acolyte is a microsporangium. sent19: something that is not a kind of a microsporangium either is a kind of a yacht or is non-chromatographic or both. sent20: there is something such that it is unpriestly and/or is not cachectic. sent21: the fact that the goddaughter is apomictic and it does Simonize undependability does not hold. sent22: the acolyte is a microsporangium if there is something such that the fact that it is not cachectic hold. sent23: the drupe Simonizes undependability if a microsporangium is a messuage.
sent20 & sent8 -> int1: that the acolyte is a microsporangium is right.; void -> assump1: Let's assume that the acolyte is a messuage.; int1 & assump1 -> int2: the acolyte is a kind of a microsporangium and it is a messuage.; int2 -> int3: something is both a microsporangium and a messuage.; int3 & sent23 -> int4: the fact that the drupe does Simonize undependability is true.; [assump1] & int4 -> hypothesis;
there is something such that it is a kind of a yacht or it is not chromatographic or both.
sent19 -> int5: if the acolyte is not a microsporangium it does yacht or it is not chromatographic or both.;
$hypothesis$ = the drupe Simonizes undependability if the acolyte is a messuage. ; $context$ = sent1: something is unpriestly or is cachectic or both. sent2: the drupe is a microsporangium if the fact that it is not a shillelagh and it does not evaluate does not hold. sent3: the fact that the drupe boosts but it does not heat Saladin is not right. sent4: if there exists something such that it is not Voltarian the acolyte is smokeless. sent5: the acolyte is a bloomer if something is not a kind of a rubberneck. sent6: the drupe is not a kind of a messuage if there exists something such that that it is apomictic and does Simonize undependability is not correct. sent7: the acolyte is cachectic. sent8: the acolyte is a kind of a microsporangium if there is something such that either it is unpriestly or it is not cachectic or both. sent9: the recruit Simonizes undependability. sent10: the acolyte is a messuage if something does not Simonize undependability. sent11: the acolyte is a kind of afloat thing that does Simonize lapsed. sent12: the drupe is a kind of a microsporangium. sent13: the fact that something is not a shillelagh and does not evaluate is not right if it is not a kind of a boost. sent14: if the fact that the drupe boosts and does not heat Saladin is false then it is not a boosts. sent15: the drupe is cachectic. sent16: the acolyte does specify. sent17: the thiazide is a microsporangium. sent18: if a messuage does Simonize undependability then the acolyte is a microsporangium. sent19: something that is not a kind of a microsporangium either is a kind of a yacht or is non-chromatographic or both. sent20: there is something such that it is unpriestly and/or is not cachectic. sent21: the fact that the goddaughter is apomictic and it does Simonize undependability does not hold. sent22: the acolyte is a microsporangium if there is something such that the fact that it is not cachectic hold. sent23: the drupe Simonizes undependability if a microsporangium is a messuage. ; $proof$ = 
sent20 & sent8 -> int1: that the acolyte is a microsporangium is right.; void -> assump1: Let's assume that the acolyte is a messuage.; int1 & assump1 -> int2: the acolyte is a kind of a microsporangium and it is a messuage.; int2 -> int3: something is both a microsporangium and a messuage.; int3 & sent23 -> int4: the fact that the drupe does Simonize undependability is true.; [assump1] & int4 -> hypothesis; __PROVED__