このもくもにょLv.64は恵み深くない
fact1: すべてのモンスターはブランドらしい fact2: あらゆるモンスターは恵み深い fact3: 全てのモンスターは北上する fact4: 仮になにがしかのモンスターがタイトルらしいとしたら防止する
fact2 -> int1: あらゆるモンスターは恵み深い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
このもくもにょLv.64は恵み深くない
fact5 -> int2: 仮にこのぴにょぴねLv.73がタイトルらしいとすればこのぴにょぴねLv.73は防止する;
$facts$ = fact1: すべてのモンスターはブランドらしい fact2: あらゆるモンスターは恵み深い fact3: 全てのモンスターは北上する fact4: 仮になにがしかのモンスターがタイトルらしいとしたら防止する ; $hypothesis$ = このもくもにょLv.64は恵み深くない ; $proof$ = 
fact2 -> int1: あらゆるモンスターは恵み深い; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__