the cathedral is not a young.
sent1: the prosthetist is infrequent. sent2: the share is not uncritical if the prosthetist does frisk prosthetist and it binds bogey. sent3: there exists something such that the fact that it is uncritical is not incorrect. sent4: the oregano is not nebular if there exists something such that it does anglicise blockading. sent5: that the share does not bind sarcenet hold if there is something such that that it is a kind of non-nebular thing that is not a Pomatomus is not right. sent6: the prosthetist binds bogey and it does bind sarcenet. sent7: if that either something does bind imprisonment or it does bind bogey or both is wrong the fact that it is infrequent is not correct. sent8: if something does bind bogey and it is not critical the fundraiser does bind imprisonment. sent9: the sweetheart does not conduct. sent10: there is something such that it binds bogey. sent11: if the share does not bind sarcenet that the fundraiser is a milkwort and it does frisk prosthetist does not hold. sent12: the share is a milkwort if it is not nebular. sent13: the prosthetist is both not critical and infrequent. sent14: if something is not infrequent it is a young and it is uncritical. sent15: the fact that something binds imprisonment and/or binds bogey is incorrect if it does not conduct. sent16: either the fundraiser does bind bogey or it is not uncritical or both. sent17: the dicamptodon does not frisk lamplighter and does not frisk grizzled. sent18: if the fundraiser binds imprisonment the fact that the share conducts is correct. sent19: there is something such that it is a Pomatomus. sent20: the cathedral is non-young if the share does conduct and does frisk prosthetist. sent21: if something is a Pomatomus the share is not nebular. sent22: the prosthetist binds sarcenet. sent23: if the dicamptodon does not frisk grizzled the fact that it is not nebular and is not a kind of a Pomatomus is not right. sent24: something does frisk prosthetist and is a kind of a milkwort if the fact that it is not nebular is not wrong. sent25: the share is a milkwort. sent26: the prosthetist does not frisk prosthetist if that the fundraiser is a milkwort and it frisk prosthetist is false. sent27: if the fact that something is not nebular is correct then it is a milkwort. sent28: that the prosthetist is a milkwort hold.
sent13 -> int1: the prosthetist is uncritical.; sent6 -> int2: the prosthetist does bind bogey.; int1 & int2 -> int3: the prosthetist binds bogey and it is uncritical.; int3 -> int4: something binds bogey and is uncritical.; int4 & sent8 -> int5: the fundraiser binds imprisonment.; int5 & sent18 -> int6: the share does conduct.; sent24 -> int7: if the share is not nebular then it frisks prosthetist and is a kind of a milkwort.; sent19 & sent21 -> int8: the share is not nebular.; int7 & int8 -> int9: the share frisks prosthetist and it is a milkwort.; int9 -> int10: the share frisks prosthetist.; int6 & int10 -> int11: the share conducts and does frisk prosthetist.; int11 & sent20 -> hypothesis;
the cathedral is young.
sent16 -> int12: something binds bogey and/or is not uncritical.;
$hypothesis$ = the cathedral is not a young. ; $context$ = sent1: the prosthetist is infrequent. sent2: the share is not uncritical if the prosthetist does frisk prosthetist and it binds bogey. sent3: there exists something such that the fact that it is uncritical is not incorrect. sent4: the oregano is not nebular if there exists something such that it does anglicise blockading. sent5: that the share does not bind sarcenet hold if there is something such that that it is a kind of non-nebular thing that is not a Pomatomus is not right. sent6: the prosthetist binds bogey and it does bind sarcenet. sent7: if that either something does bind imprisonment or it does bind bogey or both is wrong the fact that it is infrequent is not correct. sent8: if something does bind bogey and it is not critical the fundraiser does bind imprisonment. sent9: the sweetheart does not conduct. sent10: there is something such that it binds bogey. sent11: if the share does not bind sarcenet that the fundraiser is a milkwort and it does frisk prosthetist does not hold. sent12: the share is a milkwort if it is not nebular. sent13: the prosthetist is both not critical and infrequent. sent14: if something is not infrequent it is a young and it is uncritical. sent15: the fact that something binds imprisonment and/or binds bogey is incorrect if it does not conduct. sent16: either the fundraiser does bind bogey or it is not uncritical or both. sent17: the dicamptodon does not frisk lamplighter and does not frisk grizzled. sent18: if the fundraiser binds imprisonment the fact that the share conducts is correct. sent19: there is something such that it is a Pomatomus. sent20: the cathedral is non-young if the share does conduct and does frisk prosthetist. sent21: if something is a Pomatomus the share is not nebular. sent22: the prosthetist binds sarcenet. sent23: if the dicamptodon does not frisk grizzled the fact that it is not nebular and is not a kind of a Pomatomus is not right. sent24: something does frisk prosthetist and is a kind of a milkwort if the fact that it is not nebular is not wrong. sent25: the share is a milkwort. sent26: the prosthetist does not frisk prosthetist if that the fundraiser is a milkwort and it frisk prosthetist is false. sent27: if the fact that something is not nebular is correct then it is a milkwort. sent28: that the prosthetist is a milkwort hold. ; $proof$ = 
sent13 -> int1: the prosthetist is uncritical.; sent6 -> int2: the prosthetist does bind bogey.; int1 & int2 -> int3: the prosthetist binds bogey and it is uncritical.; int3 -> int4: something binds bogey and is uncritical.; int4 & sent8 -> int5: the fundraiser binds imprisonment.; int5 & sent18 -> int6: the share does conduct.; sent24 -> int7: if the share is not nebular then it frisks prosthetist and is a kind of a milkwort.; sent19 & sent21 -> int8: the share is not nebular.; int7 & int8 -> int9: the share frisks prosthetist and it is a milkwort.; int9 -> int10: the share frisks prosthetist.; int6 & int10 -> int11: the share conducts and does frisk prosthetist.; int11 & sent20 -> hypothesis; __PROVED__