以下のように仮定する。あのもくもなLv.38は入り難い
fact1: あのもくもなLv.38は仕方無い fact2: もし仮に「あのみにみいLv.87は危うくない」ということは真実であるとすればあのみにみいLv.87は仕方無くない fact3: もし仮にあのもちょもにLv.69は痩せ難くないとすれば「あのみにみいLv.87がスポーツマンらしいしその上それは危うい」ということは嘘だ fact4: 「もしあるモンスターは仕方無くないとすれば「疑わしくないし入り難いということはない」ということは成り立たない」ということは成り立つ fact5: もし仮に「なにがしかのモンスターはスポーツマンらしいし危うい」ということは誤っているなら危うくない fact6: 仮にあのもくもなLv.38が仕方無くてさらに入り難いとしたらあのみにみいLv.87は疑わしくない fact7: もしあのみにみいLv.87が入り難いならあのもくもなLv.38は入り難い
void -> assump1: 以下のように仮定する。あのもくもなLv.38は入り難い; fact1 & assump1 -> int1: あのもくもなLv.38は仕方無くてかつ入り難い; int1 & fact6 -> int2: あのみにみいLv.87は疑わしくない;
void -> assump1: {B}{a}; fact1 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> int2: ¬{C}{b};
以下のように仮定する。あのもくもなLv.38は入り難い
fact11 -> int3: もしもあのみにみいLv.87は仕方無くないとすると「疑わしくないし更に入り難くない」ということは間違っている; fact8 -> int4: もし仮に「あのみにみいLv.87はスポーツマンらしいし更に危うい」ということは真実でないとしたらそれは危うくない;
$facts$ = fact1: あのもくもなLv.38は仕方無い fact2: もし仮に「あのみにみいLv.87は危うくない」ということは真実であるとすればあのみにみいLv.87は仕方無くない fact3: もし仮にあのもちょもにLv.69は痩せ難くないとすれば「あのみにみいLv.87がスポーツマンらしいしその上それは危うい」ということは嘘だ fact4: 「もしあるモンスターは仕方無くないとすれば「疑わしくないし入り難いということはない」ということは成り立たない」ということは成り立つ fact5: もし仮に「なにがしかのモンスターはスポーツマンらしいし危うい」ということは誤っているなら危うくない fact6: 仮にあのもくもなLv.38が仕方無くてさらに入り難いとしたらあのみにみいLv.87は疑わしくない fact7: もしあのみにみいLv.87が入り難いならあのもくもなLv.38は入り難い ; $hypothesis$ = 以下のように仮定する。あのもくもなLv.38は入り難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__