if the globalization is genuine then the cupflower is a jejunum.
sent1: something does dilapidate Menotyphla. sent2: there is something such that it is Anglophobic. sent3: if the fact that the phosphine is a jejunum is correct then it is periodic. sent4: the cupflower is genuine if the fact that the globalization is a jejunum is not false. sent5: the cupflower is hierarchical. sent6: the phosphine is hierarchical if the fact that it is a kind of non-genuine thing that is not hierarchical is not right. sent7: if something is a innocency then it is a proline. sent8: if something is not periodic then that it is not hierarchical and it is not Anglophobic is not true. sent9: the cupflower is a jejunum if something that is Anglophobic is a proline. sent10: the phosphine is not periodic. sent11: the globalization is a Lamium. sent12: if a Lamium is a kind of a innocency then the globalization is Anglophobic. sent13: if there is something such that it is both genuine and a Lamium then the phosphine is a innocency. sent14: something is Anglophobic if the fact that it is not hierarchical and it is not Anglophobic is false. sent15: the globalization is a Lamium if there is something such that it is a innocency and it is a jejunum.
void -> assump1: Let's assume that the globalization is genuine.; assump1 & sent11 -> int1: the globalization is genuine and it is a Lamium.; int1 -> int2: there is something such that it is both genuine and a Lamium.; int2 & sent13 -> int3: the phosphine is a kind of a innocency.; sent7 -> int4: the phosphine is a proline if it is a kind of a innocency.; int3 & int4 -> int5: the phosphine is a kind of a proline.; sent14 -> int6: the fact that the phosphine is Anglophobic hold if the fact that it is both not hierarchical and not Anglophobic is not right.; sent8 -> int7: if the phosphine is non-periodic then the fact that it is not hierarchical but non-Anglophobic is not correct.; int7 & sent10 -> int8: the fact that the phosphine is a kind of nonhierarchical thing that is not Anglophobic is not right.; int6 & int8 -> int9: the phosphine is Anglophobic.; int5 & int9 -> int10: the phosphine is a kind of Anglophobic a proline.; int10 -> int11: there exists something such that that it is Anglophobic and it is a proline hold.; int11 & sent9 -> int12: that the cupflower is a jejunum is correct.; [assump1] & int12 -> hypothesis;
$hypothesis$ = if the globalization is genuine then the cupflower is a jejunum. ; $context$ = sent1: something does dilapidate Menotyphla. sent2: there is something such that it is Anglophobic. sent3: if the fact that the phosphine is a jejunum is correct then it is periodic. sent4: the cupflower is genuine if the fact that the globalization is a jejunum is not false. sent5: the cupflower is hierarchical. sent6: the phosphine is hierarchical if the fact that it is a kind of non-genuine thing that is not hierarchical is not right. sent7: if something is a innocency then it is a proline. sent8: if something is not periodic then that it is not hierarchical and it is not Anglophobic is not true. sent9: the cupflower is a jejunum if something that is Anglophobic is a proline. sent10: the phosphine is not periodic. sent11: the globalization is a Lamium. sent12: if a Lamium is a kind of a innocency then the globalization is Anglophobic. sent13: if there is something such that it is both genuine and a Lamium then the phosphine is a innocency. sent14: something is Anglophobic if the fact that it is not hierarchical and it is not Anglophobic is false. sent15: the globalization is a Lamium if there is something such that it is a innocency and it is a jejunum. ; $proof$ = 
void -> assump1: Let's assume that the globalization is genuine.; assump1 & sent11 -> int1: the globalization is genuine and it is a Lamium.; int1 -> int2: there is something such that it is both genuine and a Lamium.; int2 & sent13 -> int3: the phosphine is a kind of a innocency.; sent7 -> int4: the phosphine is a proline if it is a kind of a innocency.; int3 & int4 -> int5: the phosphine is a kind of a proline.; sent14 -> int6: the fact that the phosphine is Anglophobic hold if the fact that it is both not hierarchical and not Anglophobic is not right.; sent8 -> int7: if the phosphine is non-periodic then the fact that it is not hierarchical but non-Anglophobic is not correct.; int7 & sent10 -> int8: the fact that the phosphine is a kind of nonhierarchical thing that is not Anglophobic is not right.; int6 & int8 -> int9: the phosphine is Anglophobic.; int5 & int9 -> int10: the phosphine is a kind of Anglophobic a proline.; int10 -> int11: there exists something such that that it is Anglophobic and it is a proline hold.; int11 & sent9 -> int12: that the cupflower is a jejunum is correct.; [assump1] & int12 -> hypothesis; __PROVED__