the graduate does not assume posted.
sent1: if that something does testify rubidium and is counterclockwise is wrong it is not counterclockwise. sent2: the fact that if the itraconazole does assume kitty the phenolic is a thumbed hold. sent3: if the lipid does assume posted the graduate does assume posted. sent4: that the peridot does assume promycelium but it is not Pythagorean does not hold if the SLS is secretarial. sent5: if the itraconazole is not a kind of a thumbed then the phenolic is a acidemia and it is a kind of a man-on-a-horse. sent6: the lipid is not a kind of a acidemia if the phenolic does not assume posted but it is a man-on-a-horse. sent7: if the lipid is not a acidemia then the graduate is a thumbed that is a cofounder. sent8: the fact that the greenbelt does not assume creamery if there exists something such that that it does spend vara and is unregenerate is wrong is right. sent9: the microbrewery does not assume posted. sent10: the phenolic is eugenic and it is a silt. sent11: if the greenbelt does not assume creamery then the fact that that the promycelium is a subpopulation and is a wilderness hold is not true. sent12: the phenolic does not assume kitty and is a kind of a Hopkinson if the itraconazole is a Tenrecidae. sent13: there is something such that that it is Anglophilic and is later is not right. sent14: the itraconazole is not a Hopkinson. sent15: something is secretarial if the fact that it testifies nihil and it is not a trigon is not right. sent16: that the rubidium spends vara and is not regenerate does not hold if the gayfeather does assume promycelium. sent17: something is gutless and is pectic. sent18: there exists nothing that testifies rubidium and is counterclockwise. sent19: something is a man-on-a-horse if it is a thumbed. sent20: the phenolic is not a kind of a man-on-a-horse if that the graduate is a acidemia and assumes posted is correct. sent21: something does assume kitty if it is not a Hopkinson. sent22: something does not assume posted and is a man-on-a-horse if it does not assume kitty. sent23: if there is something such that the fact that it is both Anglophilic and later is false then the lipid is a kind of a cofounder. sent24: if the fact that the peridot assumes promycelium but it is not Pythagorean is wrong then the gayfeather does assumes promycelium. sent25: the graduate is a kind of a acidemia if the lipid is a cofounder. sent26: that the SLS does testify nihil and is not a trigon is not correct if the mihrab is not counterclockwise. sent27: there is something such that it is Anglophilic and it is later.
sent13 & sent23 -> int1: the lipid is a cofounder.; int1 & sent25 -> int2: the graduate is a kind of a acidemia.; void -> assump1: Let's assume that the graduate assumes posted.; int2 & assump1 -> int3: the graduate is a kind of a acidemia that does assume posted.; int3 & sent20 -> int4: the phenolic is not a kind of a man-on-a-horse.; sent19 -> int5: the phenolic is a man-on-a-horse if it is a kind of a thumbed.; sent21 -> int6: the itraconazole does assume kitty if it is not a Hopkinson.; int6 & sent14 -> int7: the itraconazole does assume kitty.; sent2 & int7 -> int8: the phenolic is a thumbed.; int5 & int8 -> int9: the phenolic is a kind of a man-on-a-horse.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the graduate is a thumbed.
sent22 -> int11: the phenolic does not assume posted and is a man-on-a-horse if it does not assume kitty.; sent15 -> int12: the SLS is secretarial if that it testifies nihil and is not a trigon is incorrect.; sent1 -> int13: the fact that the mihrab is not counterclockwise hold if the fact that it testifies rubidium and it is counterclockwise is wrong.; sent18 -> int14: that the mihrab testifies rubidium and is counterclockwise is not right.; int13 & int14 -> int15: that the mihrab is not counterclockwise hold.; sent26 & int15 -> int16: the fact that the SLS testifies nihil and is not a trigon does not hold.; int12 & int16 -> int17: the SLS is secretarial.; sent4 & int17 -> int18: the fact that the peridot assumes promycelium but it is non-Pythagorean does not hold.; sent24 & int18 -> int19: the gayfeather assumes promycelium.; sent16 & int19 -> int20: the fact that the rubidium spends vara and does not regenerate is not true.; int20 -> int21: there is something such that that it does spend vara and is not regenerate is not true.; int21 & sent8 -> int22: the greenbelt does not assume creamery.; sent11 & int22 -> int23: the fact that the promycelium is a kind of a subpopulation and is a kind of a wilderness is not right.; int23 -> int24: there is something such that the fact that it is both a subpopulation and a wilderness does not hold.;
$hypothesis$ = the graduate does not assume posted. ; $context$ = sent1: if that something does testify rubidium and is counterclockwise is wrong it is not counterclockwise. sent2: the fact that if the itraconazole does assume kitty the phenolic is a thumbed hold. sent3: if the lipid does assume posted the graduate does assume posted. sent4: that the peridot does assume promycelium but it is not Pythagorean does not hold if the SLS is secretarial. sent5: if the itraconazole is not a kind of a thumbed then the phenolic is a acidemia and it is a kind of a man-on-a-horse. sent6: the lipid is not a kind of a acidemia if the phenolic does not assume posted but it is a man-on-a-horse. sent7: if the lipid is not a acidemia then the graduate is a thumbed that is a cofounder. sent8: the fact that the greenbelt does not assume creamery if there exists something such that that it does spend vara and is unregenerate is wrong is right. sent9: the microbrewery does not assume posted. sent10: the phenolic is eugenic and it is a silt. sent11: if the greenbelt does not assume creamery then the fact that that the promycelium is a subpopulation and is a wilderness hold is not true. sent12: the phenolic does not assume kitty and is a kind of a Hopkinson if the itraconazole is a Tenrecidae. sent13: there is something such that that it is Anglophilic and is later is not right. sent14: the itraconazole is not a Hopkinson. sent15: something is secretarial if the fact that it testifies nihil and it is not a trigon is not right. sent16: that the rubidium spends vara and is not regenerate does not hold if the gayfeather does assume promycelium. sent17: something is gutless and is pectic. sent18: there exists nothing that testifies rubidium and is counterclockwise. sent19: something is a man-on-a-horse if it is a thumbed. sent20: the phenolic is not a kind of a man-on-a-horse if that the graduate is a acidemia and assumes posted is correct. sent21: something does assume kitty if it is not a Hopkinson. sent22: something does not assume posted and is a man-on-a-horse if it does not assume kitty. sent23: if there is something such that the fact that it is both Anglophilic and later is false then the lipid is a kind of a cofounder. sent24: if the fact that the peridot assumes promycelium but it is not Pythagorean is wrong then the gayfeather does assumes promycelium. sent25: the graduate is a kind of a acidemia if the lipid is a cofounder. sent26: that the SLS does testify nihil and is not a trigon is not correct if the mihrab is not counterclockwise. sent27: there is something such that it is Anglophilic and it is later. ; $proof$ = 
sent13 & sent23 -> int1: the lipid is a cofounder.; int1 & sent25 -> int2: the graduate is a kind of a acidemia.; void -> assump1: Let's assume that the graduate assumes posted.; int2 & assump1 -> int3: the graduate is a kind of a acidemia that does assume posted.; int3 & sent20 -> int4: the phenolic is not a kind of a man-on-a-horse.; sent19 -> int5: the phenolic is a man-on-a-horse if it is a kind of a thumbed.; sent21 -> int6: the itraconazole does assume kitty if it is not a Hopkinson.; int6 & sent14 -> int7: the itraconazole does assume kitty.; sent2 & int7 -> int8: the phenolic is a thumbed.; int5 & int8 -> int9: the phenolic is a kind of a man-on-a-horse.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__