the Monophysite is a Glycyrrhiza if the bigot is a knotgrass.
sent1: the bigot is not anastigmatic. sent2: the fact that something is not a knotgrass and it is not a kind of a Glycyrrhiza is not right if it is a kind of a psychophysicist. sent3: that the Monophysite is a Glycyrrhiza is true if that either the bigot is not a kind of a sumo or it is anastigmatic or both is wrong. sent4: if the bigot is a Glycyrrhiza then the Monophysite is anastigmatic. sent5: the fact that the Monophysite is anastigmatic hold. sent6: the Monophysite is a kind of a sumo. sent7: if the bigot is a knotgrass that it is not a sumo and/or is anastigmatic is not right. sent8: if there exists something such that that it is amygdaline and is alkaloidal is not right the quaffer is not alkaloidal. sent9: if something is not alkaloidal then the Monophysite is a metro and does mulct Celastrus. sent10: that the fact that the Monophysite is not the Enterolobium or it is Bantoid or both is not right if the Monophysite administers is not false. sent11: if that the Monophysite is not a knotgrass and/or it is a kind of a Glycyrrhiza is not true the bigot is anastigmatic. sent12: the bigot is a metro if the fact that the Monophysite is a kind of a metro is not incorrect. sent13: the bigot is not anastigmatic if it is a kind of a knotgrass. sent14: the firestone is not granulocytic. sent15: the bigot is a kind of a psychophysicist if it is a metro. sent16: if the firestone is not granulocytic then the fact that it is amygdaline and it is alkaloidal does not hold.
void -> assump1: Let's assume that the fact that the bigot is a knotgrass is true.; sent7 & assump1 -> int1: the fact that the bigot is not a kind of a sumo and/or it is anastigmatic does not hold.; sent3 & int1 -> int2: the Monophysite is a Glycyrrhiza.; [assump1] & int2 -> hypothesis;
the harpsichordist is anastigmatic.
sent2 -> int3: that the fact that the bigot is not a knotgrass and is not a Glycyrrhiza is correct is false if it is a psychophysicist.; sent16 & sent14 -> int4: that the firestone is amygdaline and it is alkaloidal is wrong.; int4 -> int5: there is something such that that it is amygdaline thing that is alkaloidal does not hold.; int5 & sent8 -> int6: the quaffer is non-alkaloidal.; int6 -> int7: there exists something such that it is not alkaloidal.; int7 & sent9 -> int8: the Monophysite is a metro and it does mulct Celastrus.; int8 -> int9: the Monophysite is a metro.; sent12 & int9 -> int10: the bigot is a metro.; sent15 & int10 -> int11: the bigot is a kind of a psychophysicist.; int3 & int11 -> int12: that the bigot is not a knotgrass and it is not a kind of a Glycyrrhiza is not correct.; int12 -> int13: there is something such that the fact that it is not a knotgrass and not a Glycyrrhiza is not correct.;
$hypothesis$ = the Monophysite is a Glycyrrhiza if the bigot is a knotgrass. ; $context$ = sent1: the bigot is not anastigmatic. sent2: the fact that something is not a knotgrass and it is not a kind of a Glycyrrhiza is not right if it is a kind of a psychophysicist. sent3: that the Monophysite is a Glycyrrhiza is true if that either the bigot is not a kind of a sumo or it is anastigmatic or both is wrong. sent4: if the bigot is a Glycyrrhiza then the Monophysite is anastigmatic. sent5: the fact that the Monophysite is anastigmatic hold. sent6: the Monophysite is a kind of a sumo. sent7: if the bigot is a knotgrass that it is not a sumo and/or is anastigmatic is not right. sent8: if there exists something such that that it is amygdaline and is alkaloidal is not right the quaffer is not alkaloidal. sent9: if something is not alkaloidal then the Monophysite is a metro and does mulct Celastrus. sent10: that the fact that the Monophysite is not the Enterolobium or it is Bantoid or both is not right if the Monophysite administers is not false. sent11: if that the Monophysite is not a knotgrass and/or it is a kind of a Glycyrrhiza is not true the bigot is anastigmatic. sent12: the bigot is a metro if the fact that the Monophysite is a kind of a metro is not incorrect. sent13: the bigot is not anastigmatic if it is a kind of a knotgrass. sent14: the firestone is not granulocytic. sent15: the bigot is a kind of a psychophysicist if it is a metro. sent16: if the firestone is not granulocytic then the fact that it is amygdaline and it is alkaloidal does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the bigot is a knotgrass is true.; sent7 & assump1 -> int1: the fact that the bigot is not a kind of a sumo and/or it is anastigmatic does not hold.; sent3 & int1 -> int2: the Monophysite is a Glycyrrhiza.; [assump1] & int2 -> hypothesis; __PROVED__