あのまえまにLv.37は確認し難くない
fact1: 仮にあのまいまくLv.43がしんどいとすればこのみちゃみちゃLv.82は弁済する fact2: このみちゃみちゃLv.82が弁済するとするとあのまえまにLv.37は確認し難い fact3: あのまいまくLv.43は近付き易い fact4: もしあのまいまくLv.43が近付き易いならあのまいまくLv.43はしんどい fact5: もし仮に「何らかのモンスターは近付き易くて更に確認し難い」ということは成り立たないなら確認し難いということはない fact6: とあるモンスターはしんどくないとしたら「それは近付き易いししかも確認し難い」ということは誤りだ fact7: もし仮に「なんらかのモンスターは物悲しくないし弁済しない」ということは誤りだとしたらしんどくない
fact4 & fact3 -> int1: あのまいまくLv.43はしんどい; int1 & fact1 -> int2: 「このみちゃみちゃLv.82は弁済する」ということは真実である; int2 & fact2 -> hypothesis;
fact4 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
あのまえまにLv.37は確認し難くない
fact9 -> int3: 仮に「あのまえまにLv.37は近付き易いしかつ確認し難い」ということは成り立たないならばそれは確認し難くない; fact8 -> int4: あのまえまにLv.37はしんどくないとすれば「あのまえまにLv.37は近付き易いし更に確認し難い」ということは嘘だ; fact10 -> int5: もし仮に「あのまえまにLv.37は物悲しくないし弁済しない」ということは偽なら「しんどくない」ということは正しい;
$facts$ = fact1: 仮にあのまいまくLv.43がしんどいとすればこのみちゃみちゃLv.82は弁済する fact2: このみちゃみちゃLv.82が弁済するとするとあのまえまにLv.37は確認し難い fact3: あのまいまくLv.43は近付き易い fact4: もしあのまいまくLv.43が近付き易いならあのまいまくLv.43はしんどい fact5: もし仮に「何らかのモンスターは近付き易くて更に確認し難い」ということは成り立たないなら確認し難いということはない fact6: とあるモンスターはしんどくないとしたら「それは近付き易いししかも確認し難い」ということは誤りだ fact7: もし仮に「なんらかのモンスターは物悲しくないし弁済しない」ということは誤りだとしたらしんどくない ; $hypothesis$ = あのまえまにLv.37は確認し難くない ; $proof$ = 
fact4 & fact3 -> int1: あのまいまくLv.43はしんどい; int1 & fact1 -> int2: 「このみちゃみちゃLv.82は弁済する」ということは真実である; int2 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__