the fact that the snowplow is promissory if the Moselle does muff chasse is not true.
sent1: something is not a kind of a magician but it is prehensile if it does muff chasse. sent2: there exists something such that the fact that it is not non-promissory is correct. sent3: something is not a kind of a firecracker but it is a kind of a hawk's-beard if the fact that it is not a magician hold. sent4: there is something such that it is promissory and it is a magician. sent5: the snowplow is promissory if something that is not a firecracker is a hawk's-beard.
sent1 -> int1: the Moselle is not a magician and is prehensile if that it does muff chasse is not false.; void -> assump1: Let's assume that the Moselle does muff chasse.; int1 & assump1 -> int2: the Moselle is not a kind of a magician but it is prehensile.; int2 -> int3: that the Moselle is not a magician is not incorrect.; sent3 -> int4: the Moselle is not a firecracker but a hawk's-beard if the fact that it is not a magician is not incorrect.; int3 & int4 -> int5: the Moselle is not a firecracker and is a hawk's-beard.; int5 -> int6: there is something such that it is not a firecracker but a hawk's-beard.; int6 & sent5 -> int7: the snowplow is promissory.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that the snowplow is promissory if the Moselle does muff chasse is not true. ; $context$ = sent1: something is not a kind of a magician but it is prehensile if it does muff chasse. sent2: there exists something such that the fact that it is not non-promissory is correct. sent3: something is not a kind of a firecracker but it is a kind of a hawk's-beard if the fact that it is not a magician hold. sent4: there is something such that it is promissory and it is a magician. sent5: the snowplow is promissory if something that is not a firecracker is a hawk's-beard. ; $proof$ = 
sent1 -> int1: the Moselle is not a magician and is prehensile if that it does muff chasse is not false.; void -> assump1: Let's assume that the Moselle does muff chasse.; int1 & assump1 -> int2: the Moselle is not a kind of a magician but it is prehensile.; int2 -> int3: that the Moselle is not a magician is not incorrect.; sent3 -> int4: the Moselle is not a firecracker but a hawk's-beard if the fact that it is not a magician is not incorrect.; int3 & int4 -> int5: the Moselle is not a firecracker and is a hawk's-beard.; int5 -> int6: there is something such that it is not a firecracker but a hawk's-beard.; int6 & sent5 -> int7: the snowplow is promissory.; [assump1] & int7 -> hypothesis; __DISPROVED__