このみやみわLv.62は生まれ易い
fact1: とあるモンスターは歯痒いとすると「しがないということはないし更に絶え間無くない」ということは偽である fact2: もし仮にこのみやみわLv.62は絶え間無くないならば「あのぴちゅぴちゃLv.92はしがなくないがしかしそれは生まれ易い」ということは成り立つ fact3: もしもこのみなみにょLv.53が歯痒いとしたらこのもえもわLv.45は歯痒い fact4: もし「「このもえもわLv.45はしがなくないしかつそれは絶え間無くない」ということは成り立たない」ということは事実と異ならないとすればこのみやみわLv.62は生まれ易くない fact5: もし「このもえもわLv.45は歯痒くないかあるいは寝苦しくないかあるいは両方である」ということは成り立たないとすればこのみやみわLv.62は絶え間無いということはない fact6: すべてのモンスターは生まれ易い
fact6 -> int1: すべてのモンスターは生まれ易い; int1 -> hypothesis;
fact6 -> int1: (x): {A}x; int1 -> hypothesis;
「このみやみわLv.62は生まれ易くない」ということは真実だ
fact8 -> int2: もし仮にこのもえもわLv.45は歯痒いなら「「このもえもわLv.45はしがなくなくてそれに絶え間無くない」ということは確かである」ということは間違いだ;
$facts$ = fact1: とあるモンスターは歯痒いとすると「しがないということはないし更に絶え間無くない」ということは偽である fact2: もし仮にこのみやみわLv.62は絶え間無くないならば「あのぴちゅぴちゃLv.92はしがなくないがしかしそれは生まれ易い」ということは成り立つ fact3: もしもこのみなみにょLv.53が歯痒いとしたらこのもえもわLv.45は歯痒い fact4: もし「「このもえもわLv.45はしがなくないしかつそれは絶え間無くない」ということは成り立たない」ということは事実と異ならないとすればこのみやみわLv.62は生まれ易くない fact5: もし「このもえもわLv.45は歯痒くないかあるいは寝苦しくないかあるいは両方である」ということは成り立たないとすればこのみやみわLv.62は絶え間無いということはない fact6: すべてのモンスターは生まれ易い ; $hypothesis$ = このみやみわLv.62は生まれ易い ; $proof$ = 
fact6 -> int1: すべてのモンスターは生まれ易い; int1 -> hypothesis; __PROVED__
fact6 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__