「あのみわみくLv.50は批判し続ける」ということは嘘でない
fact1: しどけなくないモンスターは慎ましくてぷんぷんする fact2: 仮に「このもえもくLv.34は青白くない」ということは本当であるならばあのみわみくLv.50はしどけないということはない fact3: 「このもえもくLv.34はしどけない」ということは本当である fact4: 仮になんらかのモンスターがぷんぷんするとすれば批判し続ける fact5: もしも「このもえもくLv.34はぷんぷんするしかつしどけない」ということは成り立つとしたらあのみわみくLv.50は批判し続けない fact6: このまいまちゃLv.6は批判し続けるし気付き難い
「あのみわみくLv.50は批判し続ける」ということは嘘でない
fact9 -> int1: 仮にあのみわみくLv.50がぷんぷんするとしたらそれは批判し続ける; fact7 -> int2: 仮にあのみわみくLv.50がしどけなくないならそれは慎ましくてそれはぷんぷんする;
$facts$ = fact1: しどけなくないモンスターは慎ましくてぷんぷんする fact2: 仮に「このもえもくLv.34は青白くない」ということは本当であるならばあのみわみくLv.50はしどけないということはない fact3: 「このもえもくLv.34はしどけない」ということは本当である fact4: 仮になんらかのモンスターがぷんぷんするとすれば批判し続ける fact5: もしも「このもえもくLv.34はぷんぷんするしかつしどけない」ということは成り立つとしたらあのみわみくLv.50は批判し続けない fact6: このまいまちゃLv.6は批判し続けるし気付き難い ; $hypothesis$ = 「あのみわみくLv.50は批判し続ける」ということは嘘でない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__