if the Sir hazes smoked then that the pfannkuchen is not trustworthy and does not solemnize churn does not hold.
sent1: there exists something such that it does haze smoked. sent2: the pfannkuchen does not haze smoked if something is a kind of a Saxe but it is not a surrealist. sent3: if the pfannkuchen is not trustworthy and it does not solemnize churn then the log does not tease neostigmine. sent4: if the Sir does haze smoked the pfannkuchen is not trustworthy and does not solemnize churn. sent5: that the pfannkuchen is trustworthy but it does not solemnize churn does not hold. sent6: if something does not haze attestation and does default the Sir does not haze smoked. sent7: everything is a Marut. sent8: there is something such that it is a default. sent9: something is a default that does haze attestation if it does not tease neostigmine. sent10: the bindery does not tease neostigmine if something does not haze smoked. sent11: the nebbish does not haze attestation but it does default if the log does not tease neostigmine. sent12: something is a Saxe but it is not a surrealist if it is a Marut.
void -> assump2: Let's assume that the Sir hazes smoked.; void -> assump1: Let's assume that the pfannkuchen is not trustworthy and does not solemnize churn.; sent3 & assump1 -> int1: the log does not tease neostigmine.; sent11 & int1 -> int2: the nebbish does not haze attestation and is a default.; int2 -> int3: something does not haze attestation but it is a kind of a default.; int3 & sent6 -> int4: the Sir does not haze smoked.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the pfannkuchen is not trustworthy and it does not solemnize churn is incorrect.; [assump2] & int6 -> hypothesis;
the bindery is a default.
sent9 -> int7: the bindery is a kind of a default that does haze attestation if it does not tease neostigmine.; sent7 -> int8: the nebbish is a kind of a Marut.; sent12 -> int9: the nebbish is both a Saxe and not a surrealist if it is a Marut.; int8 & int9 -> int10: the nebbish is a kind of a Saxe and is not a surrealist.; int10 -> int11: everything is a Saxe and it is not a surrealist.; int11 -> int12: the log is a kind of a Saxe but it is not a surrealist.; int12 -> int13: there exists something such that it is a kind of a Saxe and it is not a kind of a surrealist.; int13 & sent2 -> int14: the pfannkuchen does not haze smoked.; int14 -> int15: there exists something such that it does not haze smoked.; sent10 & int15 -> int16: the fact that the bindery does not tease neostigmine hold.; int7 & int16 -> int17: the bindery does default and it hazes attestation.; int17 -> hypothesis;
$hypothesis$ = if the Sir hazes smoked then that the pfannkuchen is not trustworthy and does not solemnize churn does not hold. ; $context$ = sent1: there exists something such that it does haze smoked. sent2: the pfannkuchen does not haze smoked if something is a kind of a Saxe but it is not a surrealist. sent3: if the pfannkuchen is not trustworthy and it does not solemnize churn then the log does not tease neostigmine. sent4: if the Sir does haze smoked the pfannkuchen is not trustworthy and does not solemnize churn. sent5: that the pfannkuchen is trustworthy but it does not solemnize churn does not hold. sent6: if something does not haze attestation and does default the Sir does not haze smoked. sent7: everything is a Marut. sent8: there is something such that it is a default. sent9: something is a default that does haze attestation if it does not tease neostigmine. sent10: the bindery does not tease neostigmine if something does not haze smoked. sent11: the nebbish does not haze attestation but it does default if the log does not tease neostigmine. sent12: something is a Saxe but it is not a surrealist if it is a Marut. ; $proof$ = 
void -> assump2: Let's assume that the Sir hazes smoked.; void -> assump1: Let's assume that the pfannkuchen is not trustworthy and does not solemnize churn.; sent3 & assump1 -> int1: the log does not tease neostigmine.; sent11 & int1 -> int2: the nebbish does not haze attestation and is a default.; int2 -> int3: something does not haze attestation but it is a kind of a default.; int3 & sent6 -> int4: the Sir does not haze smoked.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the pfannkuchen is not trustworthy and it does not solemnize churn is incorrect.; [assump2] & int6 -> hypothesis; __PROVED__