「「もしも厚ぼったいとすると「蝟集する一方で煙たいということはない」ということは事実と異なる」モンスターはいる」ということは本当でない
fact1: 「もし仮に厚ぼったいならば「蝟集するし煙たい」ということは間違いである」モンスターはいる fact2: 厚ぼったいモンスターは蝟集するけれど煙たくない fact3: もし何らかのモンスターは厚ぼったいとすると「それは蝟集するしかつ煙たい」ということは嘘だ fact4: なにがしかのモンスターは厚ぼったいとしたら「それは蝟集する一方で煙たくない」ということは誤りだ fact5: あのぴにゅぴちゃLv.51は厚ぼったいとすると「あのぴにゅぴちゃLv.51は蝟集するしまたそれは煙たい」ということは間違っている fact6: 「もし厚ぼったいとすれば蝟集するが煙たくない」モンスターはいる
fact4 -> int1: 「もしもあのぴにゅぴちゃLv.51は厚ぼったいならば「「あのぴにゅぴちゃLv.51は蝟集するけどそれは煙たくない」ということは真実でない」ということは真実である」ということは成り立つ; int1 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「もし仮に厚ぼったいならば「蝟集するし煙たい」ということは間違いである」モンスターはいる fact2: 厚ぼったいモンスターは蝟集するけれど煙たくない fact3: もし何らかのモンスターは厚ぼったいとすると「それは蝟集するしかつ煙たい」ということは嘘だ fact4: なにがしかのモンスターは厚ぼったいとしたら「それは蝟集する一方で煙たくない」ということは誤りだ fact5: あのぴにゅぴちゃLv.51は厚ぼったいとすると「あのぴにゅぴちゃLv.51は蝟集するしまたそれは煙たい」ということは間違っている fact6: 「もし厚ぼったいとすれば蝟集するが煙たくない」モンスターはいる ; $hypothesis$ = 「「もしも厚ぼったいとすると「蝟集する一方で煙たいということはない」ということは事実と異なる」モンスターはいる」ということは本当でない ; $proof$ = 
fact4 -> int1: 「もしもあのぴにゅぴちゃLv.51は厚ぼったいならば「「あのぴにゅぴちゃLv.51は蝟集するけどそれは煙たくない」ということは真実でない」ということは真実である」ということは成り立つ; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __DISPROVED__