そのみちょみわLv.21は聡い
fact1: 「全てのモンスターは聡い」ということは確かだ fact2: 全てのモンスターは貴方らしい fact3: 仮に「なんらかのモンスターは塗りたくるしおまけに遠し」ということは誤っていればそれは納得し難くない fact4: そのみちょみわLv.21は大人っぽいということはないなら「そのみちょみわLv.21は塗りたくるし加えて遠し」ということは成り立たない fact5: 「あらゆるモンスターは操作し始める」ということは事実である fact6: あのみやみにゅLv.16は聡い
fact1 -> int1: 「全てのモンスターは聡い」ということは確かだ; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
そのまくまちゃLv.49は聡い
fact8 -> int2: もしも「そのみちょみわLv.21は塗りたくるししかも遠し」ということは間違いであるならば納得し難くない;
$facts$ = fact1: 「全てのモンスターは聡い」ということは確かだ fact2: 全てのモンスターは貴方らしい fact3: 仮に「なんらかのモンスターは塗りたくるしおまけに遠し」ということは誤っていればそれは納得し難くない fact4: そのみちょみわLv.21は大人っぽいということはないなら「そのみちょみわLv.21は塗りたくるし加えて遠し」ということは成り立たない fact5: 「あらゆるモンスターは操作し始める」ということは事実である fact6: あのみやみにゅLv.16は聡い ; $hypothesis$ = そのみちょみわLv.21は聡い ; $proof$ = 
fact1 -> int1: 「全てのモンスターは聡い」ということは確かだ; int1 -> hypothesis; __PROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__