if the store is unidentifiable then the flitch does not work lurker and it does not tank.
sent1: the store is a poetess. sent2: the pussy-paw is a poetess. sent3: the flitch does not work lurker and is a kind of a tank if the store is unidentifiable. sent4: the pussy-paw is extensile and it is a tank. sent5: the pussy-paw is not a voicelessness if something is unidentifiable a poetess. sent6: if the pussy-paw is not a voicelessness the flitch does not work lurker but it is a tank. sent7: something is a poetess. sent8: if something is a poetess the kittiwake does work lurker and is unidentifiable. sent9: there exists something such that it is unidentifiable. sent10: the pussy-paw does not work lurker and is not a voicelessness if the flitch is not a tank. sent11: the flitch does not work lurker if the store is unidentifiable. sent12: the flitch does not work lurker and does not tank if the pussy-paw is not a voicelessness.
void -> assump1: Let's assume that the store is unidentifiable.; assump1 & sent1 -> int1: the store is unidentifiable and it is a kind of a poetess.; int1 -> int2: something is unidentifiable and a poetess.; int2 & sent5 -> int3: the pussy-paw is not a voicelessness.; sent12 & int3 -> int4: the flitch does not work lurker and is not a tank.; [assump1] & int4 -> hypothesis;
the kittiwake does work lurker and is extinguishable.
sent2 -> int5: there exists something such that it is a poetess.; int5 & sent8 -> int6: the kittiwake works lurker and is unidentifiable.; int6 -> int7: the kittiwake works lurker.;
$hypothesis$ = if the store is unidentifiable then the flitch does not work lurker and it does not tank. ; $context$ = sent1: the store is a poetess. sent2: the pussy-paw is a poetess. sent3: the flitch does not work lurker and is a kind of a tank if the store is unidentifiable. sent4: the pussy-paw is extensile and it is a tank. sent5: the pussy-paw is not a voicelessness if something is unidentifiable a poetess. sent6: if the pussy-paw is not a voicelessness the flitch does not work lurker but it is a tank. sent7: something is a poetess. sent8: if something is a poetess the kittiwake does work lurker and is unidentifiable. sent9: there exists something such that it is unidentifiable. sent10: the pussy-paw does not work lurker and is not a voicelessness if the flitch is not a tank. sent11: the flitch does not work lurker if the store is unidentifiable. sent12: the flitch does not work lurker and does not tank if the pussy-paw is not a voicelessness. ; $proof$ = 
void -> assump1: Let's assume that the store is unidentifiable.; assump1 & sent1 -> int1: the store is unidentifiable and it is a kind of a poetess.; int1 -> int2: something is unidentifiable and a poetess.; int2 & sent5 -> int3: the pussy-paw is not a voicelessness.; sent12 & int3 -> int4: the flitch does not work lurker and is not a tank.; [assump1] & int4 -> hypothesis; __PROVED__