そのぷくぷちょLv.99は女らしい
fact1: このもいもくLv.26は呆気ないがしかし煩くない fact2: なんらかのモンスターが再生するとするとつべたい fact3: もしも「なんらかのモンスターは呆気ないしそれにそれは煩い」ということは偽だとすればそれは再生しない fact4: もし仮にあるモンスターがつべたいならばそれは女らしくない fact5: このぷやぷにLv.85は女らしい fact6: 全てのモンスターは女らしい
fact6 -> int1: 全てのモンスターは女らしい; int1 -> hypothesis;
fact6 -> int1: (x): {A}x; int1 -> hypothesis;
「あのぴにょぴちょLv.78は女らしい」ということは成り立つ
fact7 -> int2: もしも「そのぷくぷちょLv.99は呆気ないしかつ煩い」ということは事実だということはないとすればそのぷくぷちょLv.99は再生しない;
$facts$ = fact1: このもいもくLv.26は呆気ないがしかし煩くない fact2: なんらかのモンスターが再生するとするとつべたい fact3: もしも「なんらかのモンスターは呆気ないしそれにそれは煩い」ということは偽だとすればそれは再生しない fact4: もし仮にあるモンスターがつべたいならばそれは女らしくない fact5: このぷやぷにLv.85は女らしい fact6: 全てのモンスターは女らしい ; $hypothesis$ = そのぷくぷちょLv.99は女らしい ; $proof$ = 
fact6 -> int1: 全てのモンスターは女らしい; int1 -> hypothesis; __PROVED__
fact6 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__