あのまちゅまにょLv.65は個立するということはない
fact1: 「もし「このみのみにLv.84はごつかないけどそれは証言する」ということは成り立たないとすればこのみのみにLv.84は治癒しない」ということは真実である fact2: このみのみにLv.84はごつかないがしかし証言すればあのまちゅまにょLv.65は個立する fact3: このみのみにLv.84は証言する
void -> assump1: 以下のように仮定する。「「このみのみにLv.84はごつかないけれど証言する」ということは成り立たない」ということは真実だ; fact1 & assump1 -> int1: このみのみにLv.84は治癒しない;
void -> assump1: ¬(¬{AA}{a} & {AB}{a}); fact1 & assump1 -> int1: ¬{B}{a};
$facts$ = fact1: 「もし「このみのみにLv.84はごつかないけどそれは証言する」ということは成り立たないとすればこのみのみにLv.84は治癒しない」ということは真実である fact2: このみのみにLv.84はごつかないがしかし証言すればあのまちゅまにょLv.65は個立する fact3: このみのみにLv.84は証言する ; $hypothesis$ = あのまちゅまにょLv.65は個立するということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__