「あのぷちゃぷいLv.38は蒸し暑い」ということは本当だ
fact1: とあるモンスターは無料配布すれば「それはたわいなくて加えてそれは見極め難いということはない」ということは誤りだ fact2: あらゆるモンスターは見極め難いしかつたわいなくない fact3: 見極め難いモンスターがたわいなくないならばあのぷちゃぷいLv.38は蒸し暑くない fact4: 仮になにがしかのモンスターが蒸し暑くてたわいないとすればこのもにもくLv.37は見極め難くない fact5: このもにもくLv.37は見極め難いがしかし蒸し暑くない fact6: 「蒸し暑くない」モンスターはいる
fact2 -> int1: このもにもくLv.37は見極め難いけれどそれはたわいなくない; int1 -> int2: なんらかのモンスターは見極め難いがたわいなくない; int2 & fact3 -> hypothesis;
fact2 -> int1: ({A}{aa} & ¬{B}{aa}); int1 -> int2: (Ex): ({A}x & ¬{B}x); int2 & fact3 -> hypothesis;
そのまにょまにょLv.58は蒸し暑くない
fact7 -> int3: 「もしも「そのまにょまにょLv.58は無料配布する」ということは真実だとすれば「そのまにょまにょLv.58はたわいないけどそれは見極め難いということはない」ということは成り立つということはない」ということは成り立つ;
$facts$ = fact1: とあるモンスターは無料配布すれば「それはたわいなくて加えてそれは見極め難いということはない」ということは誤りだ fact2: あらゆるモンスターは見極め難いしかつたわいなくない fact3: 見極め難いモンスターがたわいなくないならばあのぷちゃぷいLv.38は蒸し暑くない fact4: 仮になにがしかのモンスターが蒸し暑くてたわいないとすればこのもにもくLv.37は見極め難くない fact5: このもにもくLv.37は見極め難いがしかし蒸し暑くない fact6: 「蒸し暑くない」モンスターはいる ; $hypothesis$ = 「あのぷちゃぷいLv.38は蒸し暑い」ということは本当だ ; $proof$ = 
fact2 -> int1: このもにもくLv.37は見極め難いけれどそれはたわいなくない; int1 -> int2: なんらかのモンスターは見極め難いがたわいなくない; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: ({A}{aa} & ¬{B}{aa}); int1 -> int2: (Ex): ({A}x & ¬{B}x); int2 & fact3 -> hypothesis; __DISPROVED__