the pope is a kind of a Yanan.
sent1: the yenta is a Quercus. sent2: the ribonuclease does fruit and it is a kind of a insentience. sent3: the yenta is a Yanan. sent4: if the fact that the pope is not a insentience is not wrong then it is a fruit and it is not a Yanan. sent5: the yenta is allowable if the Hinayanist is a love-token. sent6: if something is not a kind of a fruit then it is associational. sent7: something is a Quercus if the fact that it is both allowable and not a Quercus is incorrect. sent8: the yenta is associational. sent9: the fact that the granary is associational is right. sent10: if the yenta is a fruit then it is a kind of a insentience. sent11: if the yenta is not a goldbrick then it wears carousel. sent12: the pope is not a kind of a Yanan if the yenta is a insentience and it is allowable. sent13: if something is a fruit it does identify cordierite. sent14: the nub is a insentience. sent15: the pope is allowable. sent16: if that something is a Yanan is not wrong then the fact that it is allowable and it is not a kind of a Quercus is not true. sent17: that the pope is not a insentience but a fruit is wrong if it is allowable. sent18: the pope is both hematologic and not a Venezuelan. sent19: the pope is a kind of a insentience. sent20: the labyrinthodont is a kind of a debt that is not associational. sent21: the yenta sublimes but it is not a kind of a catapult. sent22: something is associational and does not wear interpellation if that it does not fruit is right. sent23: the yenta is a Quercus and it does wear interpellation. sent24: the fact that the Hinayanist is a kind of a love-token is true.
sent22 -> int1: if the fact that the yenta does not fruit is not false then it is associational and it does not wear interpellation.; void -> assump1: Let's assume that the yenta does not fruit.; int1 & assump1 -> int2: the yenta is associational and does not wear interpellation.; int2 -> int3: the yenta does not wear interpellation.; sent23 -> int4: the yenta wears interpellation.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the yenta fruits.; int6 & sent10 -> int7: the yenta is a insentience.; sent5 & sent24 -> int8: the yenta is allowable.; int7 & int8 -> int9: the yenta is a insentience and is allowable.; int9 & sent12 -> hypothesis;
the ribonuclease does identify cordierite and is a kind of a Quercus.
sent7 -> int10: if the fact that the ribonuclease is allowable and is not a Quercus is incorrect then it is a Quercus.; sent16 -> int11: that the pope is allowable but it is not a Quercus does not hold if it is a kind of a Yanan.; sent2 -> int12: the ribonuclease is a kind of a fruit.; sent13 -> int13: the ribonuclease does identify cordierite if it does fruit.; int12 & int13 -> int14: the ribonuclease does identify cordierite.;
$hypothesis$ = the pope is a kind of a Yanan. ; $context$ = sent1: the yenta is a Quercus. sent2: the ribonuclease does fruit and it is a kind of a insentience. sent3: the yenta is a Yanan. sent4: if the fact that the pope is not a insentience is not wrong then it is a fruit and it is not a Yanan. sent5: the yenta is allowable if the Hinayanist is a love-token. sent6: if something is not a kind of a fruit then it is associational. sent7: something is a Quercus if the fact that it is both allowable and not a Quercus is incorrect. sent8: the yenta is associational. sent9: the fact that the granary is associational is right. sent10: if the yenta is a fruit then it is a kind of a insentience. sent11: if the yenta is not a goldbrick then it wears carousel. sent12: the pope is not a kind of a Yanan if the yenta is a insentience and it is allowable. sent13: if something is a fruit it does identify cordierite. sent14: the nub is a insentience. sent15: the pope is allowable. sent16: if that something is a Yanan is not wrong then the fact that it is allowable and it is not a kind of a Quercus is not true. sent17: that the pope is not a insentience but a fruit is wrong if it is allowable. sent18: the pope is both hematologic and not a Venezuelan. sent19: the pope is a kind of a insentience. sent20: the labyrinthodont is a kind of a debt that is not associational. sent21: the yenta sublimes but it is not a kind of a catapult. sent22: something is associational and does not wear interpellation if that it does not fruit is right. sent23: the yenta is a Quercus and it does wear interpellation. sent24: the fact that the Hinayanist is a kind of a love-token is true. ; $proof$ = 
sent22 -> int1: if the fact that the yenta does not fruit is not false then it is associational and it does not wear interpellation.; void -> assump1: Let's assume that the yenta does not fruit.; int1 & assump1 -> int2: the yenta is associational and does not wear interpellation.; int2 -> int3: the yenta does not wear interpellation.; sent23 -> int4: the yenta wears interpellation.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the yenta fruits.; int6 & sent10 -> int7: the yenta is a insentience.; sent5 & sent24 -> int8: the yenta is allowable.; int7 & int8 -> int9: the yenta is a insentience and is allowable.; int9 & sent12 -> hypothesis; __DISPROVED__