something is not a turnverein and fronts Vouvray.
sent1: if the fact that the haemosporidian is not a kind of a prostitute but it is a kind of a squirrel does not hold then the birdcage does repine auto-mechanic. sent2: something is a Lymantriidae. sent3: the haemosporidian is not a prostitute and does peg Helmholtz. sent4: the calla does front demographic. sent5: the fact that the calla does not front demographic is not wrong if the birdcage pegs Helmholtz and is a turnverein. sent6: the birdcage does front Vouvray if it is not a Setophaga or front Vouvray or both. sent7: there exists something such that that it is a lady's-eardrop is not false. sent8: The demographic does front calla. sent9: that the birdcage is not a Setophaga and/or does front Vouvray hold if there exists something such that it is a lady's-eardrop. sent10: if something repines auto-mechanic that it pegs Helmholtz is not false. sent11: that the haemosporidian is not a prostitute but it is a squirrel is false.
sent1 & sent11 -> int1: the birdcage repines auto-mechanic.; sent10 -> int2: the birdcage does peg Helmholtz if it does repine auto-mechanic.; int1 & int2 -> int3: the birdcage pegs Helmholtz.; void -> assump1: Let's assume that the birdcage is a turnverein.; int3 & assump1 -> int4: the birdcage does peg Helmholtz and is a kind of a turnverein.; int4 & sent5 -> int5: the calla does not front demographic.; int5 & sent4 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the birdcage is not a turnverein hold.; sent7 & sent9 -> int8: the fact that the birdcage either is not a kind of a Setophaga or does front Vouvray or both is true.; sent6 & int8 -> int9: the birdcage fronts Vouvray.; int7 & int9 -> int10: the birdcage is not a turnverein but it fronts Vouvray.; int10 -> hypothesis;
$hypothesis$ = something is not a turnverein and fronts Vouvray. ; $context$ = sent1: if the fact that the haemosporidian is not a kind of a prostitute but it is a kind of a squirrel does not hold then the birdcage does repine auto-mechanic. sent2: something is a Lymantriidae. sent3: the haemosporidian is not a prostitute and does peg Helmholtz. sent4: the calla does front demographic. sent5: the fact that the calla does not front demographic is not wrong if the birdcage pegs Helmholtz and is a turnverein. sent6: the birdcage does front Vouvray if it is not a Setophaga or front Vouvray or both. sent7: there exists something such that that it is a lady's-eardrop is not false. sent8: The demographic does front calla. sent9: that the birdcage is not a Setophaga and/or does front Vouvray hold if there exists something such that it is a lady's-eardrop. sent10: if something repines auto-mechanic that it pegs Helmholtz is not false. sent11: that the haemosporidian is not a prostitute but it is a squirrel is false. ; $proof$ = 
sent1 & sent11 -> int1: the birdcage repines auto-mechanic.; sent10 -> int2: the birdcage does peg Helmholtz if it does repine auto-mechanic.; int1 & int2 -> int3: the birdcage pegs Helmholtz.; void -> assump1: Let's assume that the birdcage is a turnverein.; int3 & assump1 -> int4: the birdcage does peg Helmholtz and is a kind of a turnverein.; int4 & sent5 -> int5: the calla does not front demographic.; int5 & sent4 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the birdcage is not a turnverein hold.; sent7 & sent9 -> int8: the fact that the birdcage either is not a kind of a Setophaga or does front Vouvray or both is true.; sent6 & int8 -> int9: the birdcage fronts Vouvray.; int7 & int9 -> int10: the birdcage is not a turnverein but it fronts Vouvray.; int10 -> hypothesis; __PROVED__