the turbogenerator symbolizes Gwynn.
sent1: if something is grateful it symbolizes Gwynn. sent2: the turbogenerator is not a impecuniousness but it symbolizes Stalinization. sent3: if the sieve is a Hadrian the turbogenerator is a flyleaf. sent4: something is not a impecuniousness and is a Lymantriidae if it is a kind of a flyleaf. sent5: that something symbolizes meitnerium and/or it is not a flyleaf is not true if it does not symbolize corsair. sent6: if something does not dominate credenza it is both a Umbundu and phocine. sent7: the turbogenerator is a kind of a flyleaf if the sieve is a flyleaf. sent8: something that does not symbolize meitnerium is grateful and does symbolize corsair. sent9: the sieve symbolizes sketchiness. sent10: if the fact that something does symbolize sketchiness hold it is grateful. sent11: if something that is not a impecuniousness is a Lymantriidae it does not symbolize meitnerium. sent12: the sieve is either a Hadrian or a flyleaf or both.
sent4 -> int1: if the turbogenerator is a flyleaf it is both not a impecuniousness and a Lymantriidae.; sent12 & sent3 & sent7 -> int2: the turbogenerator is a kind of a flyleaf.; int1 & int2 -> int3: the turbogenerator is not a impecuniousness and is a kind of a Lymantriidae.; sent11 -> int4: if the turbogenerator is both not a impecuniousness and a Lymantriidae then it does not symbolize meitnerium.; int3 & int4 -> int5: the turbogenerator does not symbolize meitnerium.; sent8 -> int6: the turbogenerator is grateful and symbolizes corsair if it does not symbolize meitnerium.; int5 & int6 -> int7: the turbogenerator is grateful and does symbolize corsair.; int7 -> int8: the turbogenerator is grateful.; sent1 -> int9: if the turbogenerator is grateful it does symbolize Gwynn.; int8 & int9 -> hypothesis;
the turbogenerator does not symbolize Gwynn.
sent5 -> int10: that the turbogenerator does symbolize meitnerium and/or it is not a kind of a flyleaf is not true if it does not symbolize corsair.; sent10 -> int11: if the sieve symbolizes sketchiness it is grateful.; int11 & sent9 -> int12: the sieve is grateful.;
$hypothesis$ = the turbogenerator symbolizes Gwynn. ; $context$ = sent1: if something is grateful it symbolizes Gwynn. sent2: the turbogenerator is not a impecuniousness but it symbolizes Stalinization. sent3: if the sieve is a Hadrian the turbogenerator is a flyleaf. sent4: something is not a impecuniousness and is a Lymantriidae if it is a kind of a flyleaf. sent5: that something symbolizes meitnerium and/or it is not a flyleaf is not true if it does not symbolize corsair. sent6: if something does not dominate credenza it is both a Umbundu and phocine. sent7: the turbogenerator is a kind of a flyleaf if the sieve is a flyleaf. sent8: something that does not symbolize meitnerium is grateful and does symbolize corsair. sent9: the sieve symbolizes sketchiness. sent10: if the fact that something does symbolize sketchiness hold it is grateful. sent11: if something that is not a impecuniousness is a Lymantriidae it does not symbolize meitnerium. sent12: the sieve is either a Hadrian or a flyleaf or both. ; $proof$ = 
sent4 -> int1: if the turbogenerator is a flyleaf it is both not a impecuniousness and a Lymantriidae.; sent12 & sent3 & sent7 -> int2: the turbogenerator is a kind of a flyleaf.; int1 & int2 -> int3: the turbogenerator is not a impecuniousness and is a kind of a Lymantriidae.; sent11 -> int4: if the turbogenerator is both not a impecuniousness and a Lymantriidae then it does not symbolize meitnerium.; int3 & int4 -> int5: the turbogenerator does not symbolize meitnerium.; sent8 -> int6: the turbogenerator is grateful and symbolizes corsair if it does not symbolize meitnerium.; int5 & int6 -> int7: the turbogenerator is grateful and does symbolize corsair.; int7 -> int8: the turbogenerator is grateful.; sent1 -> int9: if the turbogenerator is grateful it does symbolize Gwynn.; int8 & int9 -> hypothesis; __PROVED__