「そのぷにぷにゃLv.43は間違え易い」ということは確かだ
fact1: そのもわもやLv.67は迷信深い fact2: もしもそのもわもやLv.67が仮説するということはなくておまけに平べったいということはないならばそのぷにぷにゃLv.43は間違え易い fact3: 迷信深いモンスターは仮説するということはないしさらに平べったくない
fact3 -> int1: 仮にそのもわもやLv.67が迷信深いとすればそのもわもやLv.67は仮説しないし平べったいということはない; int1 & fact1 -> int2: そのもわもやLv.67は仮説しないし更に平べったくない; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> hypothesis;
$facts$ = fact1: そのもわもやLv.67は迷信深い fact2: もしもそのもわもやLv.67が仮説するということはなくておまけに平べったいということはないならばそのぷにぷにゃLv.43は間違え易い fact3: 迷信深いモンスターは仮説するということはないしさらに平べったくない ; $hypothesis$ = 「そのぷにぷにゃLv.43は間違え易い」ということは確かだ ; $proof$ = 
fact3 -> int1: 仮にそのもわもやLv.67が迷信深いとすればそのもわもやLv.67は仮説しないし平べったいということはない; int1 & fact1 -> int2: そのもわもやLv.67は仮説しないし更に平べったくない; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> hypothesis; __PROVED__