あのまのまやLv.20は白しない
fact1: もし仮にそのぴえぴえLv.65が小暗いならあのまのまやLv.20は白し fact2: もしもそのぴえぴえLv.65は倒立攪拌するとすれば「そのぴえぴえLv.65は小暗い」ということは成り立つ fact3: もし仮にあのぷちゃぷなLv.4が取り扱い易いならあのぷちゃぷなLv.4は細長い fact4: もしとあるモンスターは取り扱い易くないとすれば「「それが白ししその上漏れ易い」ということは真実だ」ということは事実と異なる fact5: あのぷちゃぷなLv.4が細長いとするとそのぴえぴえLv.65は倒立攪拌する fact6: あのぷちゃぷなLv.4は漏れ易い fact7: 「もし「なにがしかのモンスターは白ししそれに漏れ易い」ということは確かでないとするとそれは白しない」ということは本当である
あのまのまやLv.20は白しない
fact8 -> int1: 仮に「あのまのまやLv.20は白しし漏れ易い」ということは真実でないとするとあのまのまやLv.20は白しない; fact9 -> int2: 仮にあのまのまやLv.20は取り扱い易くないとすると「白ししかつ漏れ易い」ということは事実と異なる;
$facts$ = fact1: もし仮にそのぴえぴえLv.65が小暗いならあのまのまやLv.20は白し fact2: もしもそのぴえぴえLv.65は倒立攪拌するとすれば「そのぴえぴえLv.65は小暗い」ということは成り立つ fact3: もし仮にあのぷちゃぷなLv.4が取り扱い易いならあのぷちゃぷなLv.4は細長い fact4: もしとあるモンスターは取り扱い易くないとすれば「「それが白ししその上漏れ易い」ということは真実だ」ということは事実と異なる fact5: あのぷちゃぷなLv.4が細長いとするとそのぴえぴえLv.65は倒立攪拌する fact6: あのぷちゃぷなLv.4は漏れ易い fact7: 「もし「なにがしかのモンスターは白ししそれに漏れ易い」ということは確かでないとするとそれは白しない」ということは本当である ; $hypothesis$ = あのまのまやLv.20は白しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__