the performance is a kind of a wank.
sent1: the performance is not a wank if the thenar is not a Petersburg but it is a wank. sent2: the lynx is not indusial if the thenar does not multiply Urosaurus. sent3: something that is a kind of a Petersburg or is a kind of a prednisolone or both is not a khaki. sent4: something asks sidecar and/or does not multiply Urosaurus if it does multiply snore. sent5: the lynx is indusial if the sidecar is indusial. sent6: the fact that the performance is a wank hold if it is not a kind of a khaki and it forbears. sent7: if the thenar does ask sidecar then the lynx is not indusial. sent8: the sidecar is a cravenness. sent9: if something is a cravenness it is indusial. sent10: the thenar multiplies snore if it is not a Petersburg.
void -> assump1: Let's assume that the thenar is not a Petersburg.; sent10 & assump1 -> int1: the thenar does multiply snore.; sent4 -> int2: if the thenar multiplies snore either it asks sidecar or it does not multiply Urosaurus or both.; int1 & int2 -> int3: either the thenar asks sidecar or it does not multiply Urosaurus or both.; int3 & sent7 & sent2 -> int4: the lynx is not indusial.; sent9 -> int5: the sidecar is indusial if that it is a cravenness is not false.; int5 & sent8 -> int6: the sidecar is indusial.; sent5 & int6 -> int7: the lynx is indusial.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the thenar is a kind of a Petersburg is correct.; int9 -> int10: the thenar is a Petersburg and/or is a kind of a prednisolone.; sent3 -> int11: the thenar is not a khaki if it is a Petersburg and/or it is a prednisolone.; int10 & int11 -> int12: the fact that the thenar is not a khaki is not incorrect.;
the fact that the performance is not a wank hold.
$hypothesis$ = the performance is a kind of a wank. ; $context$ = sent1: the performance is not a wank if the thenar is not a Petersburg but it is a wank. sent2: the lynx is not indusial if the thenar does not multiply Urosaurus. sent3: something that is a kind of a Petersburg or is a kind of a prednisolone or both is not a khaki. sent4: something asks sidecar and/or does not multiply Urosaurus if it does multiply snore. sent5: the lynx is indusial if the sidecar is indusial. sent6: the fact that the performance is a wank hold if it is not a kind of a khaki and it forbears. sent7: if the thenar does ask sidecar then the lynx is not indusial. sent8: the sidecar is a cravenness. sent9: if something is a cravenness it is indusial. sent10: the thenar multiplies snore if it is not a Petersburg. ; $proof$ = 
void -> assump1: Let's assume that the thenar is not a Petersburg.; sent10 & assump1 -> int1: the thenar does multiply snore.; sent4 -> int2: if the thenar multiplies snore either it asks sidecar or it does not multiply Urosaurus or both.; int1 & int2 -> int3: either the thenar asks sidecar or it does not multiply Urosaurus or both.; int3 & sent7 & sent2 -> int4: the lynx is not indusial.; sent9 -> int5: the sidecar is indusial if that it is a cravenness is not false.; int5 & sent8 -> int6: the sidecar is indusial.; sent5 & int6 -> int7: the lynx is indusial.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the thenar is a kind of a Petersburg is correct.; int9 -> int10: the thenar is a Petersburg and/or is a kind of a prednisolone.; sent3 -> int11: the thenar is not a khaki if it is a Petersburg and/or it is a prednisolone.; int10 & int11 -> int12: the fact that the thenar is not a khaki is not incorrect.; __UNKNOWN__