the apar is not professorial.
sent1: the lotus does not hand defoliator if something disabuses Moon. sent2: if there is something such that it disabuses Moon the lotus is not a kind of a diplotene and does not hand defoliator. sent3: the lotus is hornless. sent4: if something unpicks the taster does not prejudge. sent5: if the apar is not hornless and it is not professorial it is indecorous. sent6: the taster does disabuse Moon if it does prejudge and is not a kind of a Taoist. sent7: the lotus is indecorous if it is not a kind of a diplotene and hands defoliator. sent8: the taster does not prejudge and it is not Taoist if there exists something such that that it does unpick is not false. sent9: if there is something such that it does disabuse Moon the taster is both not hornless and not indecorous. sent10: the lotus is indecorous if it is not a diplotene and does not hand defoliator. sent11: if the lotus does disabuse subbase and is hornless then the apar is not professorial. sent12: the lotus does disabuse subbase if it is indecorous. sent13: the defoliator is a tineid if that it is not a Euphrosyne and is not professorial hold. sent14: if the taster does not prejudge and it is not Taoist it does disabuse Moon. sent15: something does unpick and is professorial if it does not prejudge. sent16: there is something such that it unpicks.
sent16 & sent8 -> int1: the taster does not prejudge and is not a Taoist.; int1 & sent14 -> int2: the taster does disabuse Moon.; int2 -> int3: there exists something such that it does disabuse Moon.; int3 & sent2 -> int4: the lotus is not a diplotene and it does not hand defoliator.; int4 & sent10 -> int5: that the lotus is indecorous is not false.; int5 & sent12 -> int6: the lotus does disabuse subbase.; int6 & sent3 -> int7: the lotus does disabuse subbase and it is hornless.; int7 & sent11 -> hypothesis;
the apar is professorial.
sent15 -> int8: if the apar does not prejudge then it does unpick and it is professorial.;
$hypothesis$ = the apar is not professorial. ; $context$ = sent1: the lotus does not hand defoliator if something disabuses Moon. sent2: if there is something such that it disabuses Moon the lotus is not a kind of a diplotene and does not hand defoliator. sent3: the lotus is hornless. sent4: if something unpicks the taster does not prejudge. sent5: if the apar is not hornless and it is not professorial it is indecorous. sent6: the taster does disabuse Moon if it does prejudge and is not a kind of a Taoist. sent7: the lotus is indecorous if it is not a kind of a diplotene and hands defoliator. sent8: the taster does not prejudge and it is not Taoist if there exists something such that that it does unpick is not false. sent9: if there is something such that it does disabuse Moon the taster is both not hornless and not indecorous. sent10: the lotus is indecorous if it is not a diplotene and does not hand defoliator. sent11: if the lotus does disabuse subbase and is hornless then the apar is not professorial. sent12: the lotus does disabuse subbase if it is indecorous. sent13: the defoliator is a tineid if that it is not a Euphrosyne and is not professorial hold. sent14: if the taster does not prejudge and it is not Taoist it does disabuse Moon. sent15: something does unpick and is professorial if it does not prejudge. sent16: there is something such that it unpicks. ; $proof$ = 
sent16 & sent8 -> int1: the taster does not prejudge and is not a Taoist.; int1 & sent14 -> int2: the taster does disabuse Moon.; int2 -> int3: there exists something such that it does disabuse Moon.; int3 & sent2 -> int4: the lotus is not a diplotene and it does not hand defoliator.; int4 & sent10 -> int5: that the lotus is indecorous is not false.; int5 & sent12 -> int6: the lotus does disabuse subbase.; int6 & sent3 -> int7: the lotus does disabuse subbase and it is hornless.; int7 & sent11 -> hypothesis; __PROVED__