that there is something such that if that either it is not a dodge or it is not a Grenadian or both does not hold then it is canonic is incorrect.
sent1: if that either something is not a dodge or it is not a kind of a Grenadian or both is wrong then that it is canonic is not wrong. sent2: the broadside is canonic if that either it is not a kind of a dodge or it is a Grenadian or both is incorrect. sent3: there exists something such that if the fact that it is not a dodge or it is a Grenadian or both is not true it is not non-canonic.
sent1 -> int1: if that the broadside is not a dodge and/or is not a Grenadian is not true then it is canonic.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if that either it is not a dodge or it is not a Grenadian or both does not hold then it is canonic is incorrect. ; $context$ = sent1: if that either something is not a dodge or it is not a kind of a Grenadian or both is wrong then that it is canonic is not wrong. sent2: the broadside is canonic if that either it is not a kind of a dodge or it is a Grenadian or both is incorrect. sent3: there exists something such that if the fact that it is not a dodge or it is a Grenadian or both is not true it is not non-canonic. ; $proof$ = 
sent1 -> int1: if that the broadside is not a dodge and/or is not a Grenadian is not true then it is canonic.; int1 -> hypothesis; __DISPROVED__