the fact that the dissimilation squishes Mugwump and it repots narrator does not hold.
sent1: if the brownie is not nocturnal then that that the dissimilation does squish Mugwump and it repots narrator is incorrect is not wrong. sent2: that the dissimilation does repot narrator hold if there is something such that the fact that it does not repot narrator and it does not define is false. sent3: everything does squish Mugwump and is nocturnal. sent4: the fact that the brownie does not repot narrator and does not define does not hold.
sent3 -> int1: the dissimilation does squish Mugwump and is nocturnal.; int1 -> int2: that the dissimilation squishes Mugwump hold.; sent4 -> int3: there exists something such that that it does not repot narrator and it does not define is wrong.; int3 & sent2 -> int4: the dissimilation repots narrator.; int2 & int4 -> hypothesis;
that the dissimilation does squish Mugwump and it repots narrator does not hold.
$hypothesis$ = the fact that the dissimilation squishes Mugwump and it repots narrator does not hold. ; $context$ = sent1: if the brownie is not nocturnal then that that the dissimilation does squish Mugwump and it repots narrator is incorrect is not wrong. sent2: that the dissimilation does repot narrator hold if there is something such that the fact that it does not repot narrator and it does not define is false. sent3: everything does squish Mugwump and is nocturnal. sent4: the fact that the brownie does not repot narrator and does not define does not hold. ; $proof$ = 
sent3 -> int1: the dissimilation does squish Mugwump and is nocturnal.; int1 -> int2: that the dissimilation squishes Mugwump hold.; sent4 -> int3: there exists something such that that it does not repot narrator and it does not define is wrong.; int3 & sent2 -> int4: the dissimilation repots narrator.; int2 & int4 -> hypothesis; __DISPROVED__