the Red does marble.
sent1: the fact that the Lesbian is not geopolitical and is a kind of a tentmaker is wrong. sent2: that the inamorato broadsides exordium is not incorrect if there is something such that the fact that either it is not a drag or it is not influential or both is not right. sent3: the manageress expires Strigidae if there exists something such that the fact that either it is not a tentmaker or it does not broadside exordium or both is wrong. sent4: something either does not expire Strigidae or does not expire rotter or both. sent5: something is geopolitical if it is not a nationalist. sent6: there exists something such that the fact that it does not drag and/or it is uninfluential is wrong. sent7: if the Red does not broadside exordium then it does marble. sent8: if that something is not a tenterhook and broadsides exordium is not true then it expires malnutrition. sent9: the manageress is a tentmaker if that it does not broadside exordium and it expires Strigidae is wrong. sent10: the Red is a marble if the Lesbian is geopolitical. sent11: if something either is a tentmaker or does expire rotter or both the Lesbian is not a kind of a nationalist. sent12: if the fact that something does expire Strigidae and broadsides exordium is false it does not marble. sent13: that the manageress does not broadside exordium and does expire Strigidae is wrong if the inamorato broadside exordium.
sent6 & sent2 -> int1: the inamorato does broadside exordium.; int1 & sent13 -> int2: the fact that the manageress does not broadside exordium but it expires Strigidae is not right.; int2 & sent9 -> int3: the manageress is a tentmaker.; int3 -> int4: the manageress is a kind of a tentmaker or it expires rotter or both.; int4 -> int5: something is a tentmaker and/or does expire rotter.; int5 & sent11 -> int6: the Lesbian is not a nationalist.; sent5 -> int7: the Lesbian is geopolitical if the fact that it is not a nationalist is not incorrect.; int6 & int7 -> int8: the Lesbian is not non-geopolitical.; int8 & sent10 -> hypothesis;
the Red is not a kind of a marble.
sent12 -> int9: if the fact that the Red expires Strigidae and it does broadside exordium is not true it is not a marble.;
$hypothesis$ = the Red does marble. ; $context$ = sent1: the fact that the Lesbian is not geopolitical and is a kind of a tentmaker is wrong. sent2: that the inamorato broadsides exordium is not incorrect if there is something such that the fact that either it is not a drag or it is not influential or both is not right. sent3: the manageress expires Strigidae if there exists something such that the fact that either it is not a tentmaker or it does not broadside exordium or both is wrong. sent4: something either does not expire Strigidae or does not expire rotter or both. sent5: something is geopolitical if it is not a nationalist. sent6: there exists something such that the fact that it does not drag and/or it is uninfluential is wrong. sent7: if the Red does not broadside exordium then it does marble. sent8: if that something is not a tenterhook and broadsides exordium is not true then it expires malnutrition. sent9: the manageress is a tentmaker if that it does not broadside exordium and it expires Strigidae is wrong. sent10: the Red is a marble if the Lesbian is geopolitical. sent11: if something either is a tentmaker or does expire rotter or both the Lesbian is not a kind of a nationalist. sent12: if the fact that something does expire Strigidae and broadsides exordium is false it does not marble. sent13: that the manageress does not broadside exordium and does expire Strigidae is wrong if the inamorato broadside exordium. ; $proof$ = 
sent6 & sent2 -> int1: the inamorato does broadside exordium.; int1 & sent13 -> int2: the fact that the manageress does not broadside exordium but it expires Strigidae is not right.; int2 & sent9 -> int3: the manageress is a tentmaker.; int3 -> int4: the manageress is a kind of a tentmaker or it expires rotter or both.; int4 -> int5: something is a tentmaker and/or does expire rotter.; int5 & sent11 -> int6: the Lesbian is not a nationalist.; sent5 -> int7: the Lesbian is geopolitical if the fact that it is not a nationalist is not incorrect.; int6 & int7 -> int8: the Lesbian is not non-geopolitical.; int8 & sent10 -> hypothesis; __PROVED__