あのみくみくLv.38は賢し
fact1: もしも忍耐強くないモンスターはいるとすれば「あのみくみくLv.38は卑しし更に賢し」ということは誤りである fact2: 忍耐強いモンスターはいる fact3: 仮に何らかのモンスターは卑しないならば「あのみくみくLv.38は賢しし忍耐強い」ということは事実と異なる fact4: 「否定し難くない」モンスターはいる fact5: 「あのみくみくLv.38は否定し難い」ということは成り立つ fact6: もしも「あのみくみくLv.38は卑し一方で忍耐強くない」ということは成り立たないとすればあのみくみくLv.38は賢し fact7: 何らかのモンスターは賢しない fact8: 「否定し難くない」モンスターはいるとすれば「あのみくみくLv.38は卑しが忍耐強くない」ということは成り立たない
fact4 & fact8 -> int1: 「あのみくみくLv.38は卑しがそれは忍耐強くない」ということは偽だ; int1 & fact6 -> hypothesis;
fact4 & fact8 -> int1: ¬({B}{a} & ¬{C}{a}); int1 & fact6 -> hypothesis;
$facts$ = fact1: もしも忍耐強くないモンスターはいるとすれば「あのみくみくLv.38は卑しし更に賢し」ということは誤りである fact2: 忍耐強いモンスターはいる fact3: 仮に何らかのモンスターは卑しないならば「あのみくみくLv.38は賢しし忍耐強い」ということは事実と異なる fact4: 「否定し難くない」モンスターはいる fact5: 「あのみくみくLv.38は否定し難い」ということは成り立つ fact6: もしも「あのみくみくLv.38は卑し一方で忍耐強くない」ということは成り立たないとすればあのみくみくLv.38は賢し fact7: 何らかのモンスターは賢しない fact8: 「否定し難くない」モンスターはいるとすれば「あのみくみくLv.38は卑しが忍耐強くない」ということは成り立たない ; $hypothesis$ = あのみくみくLv.38は賢し ; $proof$ = 
fact4 & fact8 -> int1: 「あのみくみくLv.38は卑しがそれは忍耐強くない」ということは偽だ; int1 & fact6 -> hypothesis; __PROVED__
fact4 & fact8 -> int1: ¬({B}{a} & ¬{C}{a}); int1 & fact6 -> hypothesis; __PROVED__