このもわもいLv.31は実習する
fact1: もし仮に「そのまちょまやLv.64は身軽くないがしかし実習する」ということは成り立たないとすると「このもわもいLv.31は実習しない」ということは成り立つ fact2: もし「とあるモンスターは大人しい」ということは確かであるとしたら「身軽いということはないけれど実習する」ということは誤りだ fact3: あらゆるモンスターは実習する fact4: あのまにゃまにゃLv.68は実習する fact5: もしもなにがしかのモンスターが還元しないなら戻り掛けるしおまけにそれは大人しい fact6: すべてのモンスターは神々しい
fact3 -> int1: あらゆるモンスターは実習する; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
このもわもいLv.31は実習するということはない
fact9 -> int2: 仮にそのまちょまやLv.64は大人しいとすると「そのまちょまやLv.64は身軽くない一方で実習する」ということは成り立たない; fact8 -> int3: もしそのまちょまやLv.64が還元しないとするとそのまちょまやLv.64は戻り掛けるし加えて大人しい;
$facts$ = fact1: もし仮に「そのまちょまやLv.64は身軽くないがしかし実習する」ということは成り立たないとすると「このもわもいLv.31は実習しない」ということは成り立つ fact2: もし「とあるモンスターは大人しい」ということは確かであるとしたら「身軽いということはないけれど実習する」ということは誤りだ fact3: あらゆるモンスターは実習する fact4: あのまにゃまにゃLv.68は実習する fact5: もしもなにがしかのモンスターが還元しないなら戻り掛けるしおまけにそれは大人しい fact6: すべてのモンスターは神々しい ; $hypothesis$ = このもわもいLv.31は実習する ; $proof$ = 
fact3 -> int1: あらゆるモンスターは実習する; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__