あのみちゅみにLv.23は廃すない
fact1: もし仮に「あのみちゅみにLv.23は解け易い」ということは事実であるならそれは懐かしい fact2: 仮にあのみちゅみにLv.23は懐かしいとしたら「廃す」ということは事実だ fact3: 仮にあのみちゅみにLv.23が可笑しいならばそれは解け易い fact4: なんらかのモンスターは腫れぼったいなら「限り無し」ということは真実である fact5: あのみちゅみにLv.23は可笑しい
fact3 & fact5 -> int1: あのみちゅみにLv.23は解け易い; int1 & fact1 -> int2: あのみちゅみにLv.23は懐かしい; int2 & fact2 -> hypothesis;
fact3 & fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
もしそのみなみちゅLv.77が腫れぼったいとしたらそのみなみちゅLv.77は限り無し
fact6 -> hypothesis;
$facts$ = fact1: もし仮に「あのみちゅみにLv.23は解け易い」ということは事実であるならそれは懐かしい fact2: 仮にあのみちゅみにLv.23は懐かしいとしたら「廃す」ということは事実だ fact3: 仮にあのみちゅみにLv.23が可笑しいならばそれは解け易い fact4: なんらかのモンスターは腫れぼったいなら「限り無し」ということは真実である fact5: あのみちゅみにLv.23は可笑しい ; $hypothesis$ = あのみちゅみにLv.23は廃すない ; $proof$ = 
fact3 & fact5 -> int1: あのみちゅみにLv.23は解け易い; int1 & fact1 -> int2: あのみちゅみにLv.23は懐かしい; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __DISPROVED__