the hedonist is not a anapsid.
sent1: the dichondra is a kind of a oscine. sent2: the dichondra does not multiply frankness. sent3: something is a wallpaperer and is not Levantine if it is a kind of a Guarani. sent4: if the hedonist is not a feminization then the dichondra is a anapsid. sent5: if something is not a feminization and/or it is not anodic then it is not a kind of a feminization. sent6: the hedonist is not a kind of a anapsid if the dichondra patronages Sydney and is a oscine. sent7: if something is not a feminization the fact that the hedonist is not a anapsid or is not a feminization or both hold. sent8: if there exists something such that it is a kind of a nostalgia then the pork is nonviolent and it is a kind of a rushlight. sent9: The frankness does not multiply dichondra. sent10: if the dichondra is a anapsid then the forebear does not multiply frankness and does not patronage Sydney. sent11: the hedonist is not oscine if the dichondra does patronage Sydney and multiplies frankness. sent12: the dichondra does patronage Sydney if it does not multiply frankness. sent13: that something is not toxicological but it is parasitic does not hold if it is nonviolent. sent14: if the checkerbloom is a kind of a harness but it is not basaltic the gemfibrozil is basaltic. sent15: if the fact that something is both not toxicological and parasitic is not right then it is not anodic. sent16: something is oscine if it does not multiply frankness and it does not patronage Sydney. sent17: the dichondra is a anapsid if the hedonist is not a kind of a anapsid. sent18: that something is not despotic and is not a Guarani is false if it is basaltic. sent19: the pork is not a kind of a oscine if something is a feminization that is parasitic. sent20: the loner is a nostalgia if the spallation is a wallpaperer but it is not a kind of a Levantine. sent21: if the carbohydrate is not a kind of a oscine it is a lobby. sent22: the checkerbloom is a kind of a harness but it is not basaltic. sent23: the spallation is a kind of a Guarani if that the gemfibrozil is not despotic and is not a Guarani is incorrect.
sent12 & sent2 -> int1: the dichondra does patronage Sydney.; int1 & sent1 -> int2: the dichondra does patronage Sydney and it is a kind of a oscine.; int2 & sent6 -> hypothesis;
the forebear is a kind of a oscine.
sent16 -> int3: if the forebear does not multiply frankness and it does not patronage Sydney then it is a kind of a oscine.; sent5 -> int4: the pork is not a feminization if it is not a kind of a feminization or is not anodic or both.; sent15 -> int5: if that the pork is a kind of non-toxicological thing that is parasitic is wrong it is not anodic.; sent13 -> int6: if that the pork is nonviolent is not false then the fact that it is non-toxicological thing that is parasitic is not correct.; sent3 -> int7: the spallation is a kind of a wallpaperer and is not Levantine if it is a kind of a Guarani.; sent18 -> int8: that if the gemfibrozil is basaltic then the fact that the gemfibrozil is not despotic and not a Guarani is wrong is not wrong.; sent14 & sent22 -> int9: the gemfibrozil is basaltic.; int8 & int9 -> int10: that the gemfibrozil is not despotic and not a Guarani is incorrect.; sent23 & int10 -> int11: the spallation is a kind of a Guarani.; int7 & int11 -> int12: the spallation is a wallpaperer that is not a kind of a Levantine.; sent20 & int12 -> int13: the loner is a kind of a nostalgia.; int13 -> int14: there exists something such that it is a nostalgia.; int14 & sent8 -> int15: the pork is a kind of nonviolent a rushlight.; int15 -> int16: the pork is nonviolent.; int6 & int16 -> int17: that the pork is not toxicological but it is parasitic is not correct.; int5 & int17 -> int18: the pork is not anodic.; int18 -> int19: either the pork is not a feminization or it is not anodic or both.; int4 & int19 -> int20: the pork is not a feminization.; int20 -> int21: there exists something such that it is not a feminization.; int21 & sent7 -> int22: the hedonist is not a kind of a anapsid and/or it is not a kind of a feminization.; int22 & sent17 & sent4 -> int23: the dichondra is a kind of a anapsid.; sent10 & int23 -> int24: the forebear does not multiply frankness and it does not patronage Sydney.; int3 & int24 -> hypothesis;
$hypothesis$ = the hedonist is not a anapsid. ; $context$ = sent1: the dichondra is a kind of a oscine. sent2: the dichondra does not multiply frankness. sent3: something is a wallpaperer and is not Levantine if it is a kind of a Guarani. sent4: if the hedonist is not a feminization then the dichondra is a anapsid. sent5: if something is not a feminization and/or it is not anodic then it is not a kind of a feminization. sent6: the hedonist is not a kind of a anapsid if the dichondra patronages Sydney and is a oscine. sent7: if something is not a feminization the fact that the hedonist is not a anapsid or is not a feminization or both hold. sent8: if there exists something such that it is a kind of a nostalgia then the pork is nonviolent and it is a kind of a rushlight. sent9: The frankness does not multiply dichondra. sent10: if the dichondra is a anapsid then the forebear does not multiply frankness and does not patronage Sydney. sent11: the hedonist is not oscine if the dichondra does patronage Sydney and multiplies frankness. sent12: the dichondra does patronage Sydney if it does not multiply frankness. sent13: that something is not toxicological but it is parasitic does not hold if it is nonviolent. sent14: if the checkerbloom is a kind of a harness but it is not basaltic the gemfibrozil is basaltic. sent15: if the fact that something is both not toxicological and parasitic is not right then it is not anodic. sent16: something is oscine if it does not multiply frankness and it does not patronage Sydney. sent17: the dichondra is a anapsid if the hedonist is not a kind of a anapsid. sent18: that something is not despotic and is not a Guarani is false if it is basaltic. sent19: the pork is not a kind of a oscine if something is a feminization that is parasitic. sent20: the loner is a nostalgia if the spallation is a wallpaperer but it is not a kind of a Levantine. sent21: if the carbohydrate is not a kind of a oscine it is a lobby. sent22: the checkerbloom is a kind of a harness but it is not basaltic. sent23: the spallation is a kind of a Guarani if that the gemfibrozil is not despotic and is not a Guarani is incorrect. ; $proof$ = 
sent12 & sent2 -> int1: the dichondra does patronage Sydney.; int1 & sent1 -> int2: the dichondra does patronage Sydney and it is a kind of a oscine.; int2 & sent6 -> hypothesis; __PROVED__