このぽにゃぽにょLv.58はちぎれ易くなくて更に呪わしくない
fact1: 「このぽにゃぽにょLv.58はちぎれ易くないがそれは呪わしい」ということは確かでない fact2: もしも香ばしいモンスターはいるとしたら「このぽにゃぽにょLv.58はちぎれ易くないしまたそれは呪わしいということはない」ということは誤りである fact3: もし「ちぎれ易くない」モンスターがいるとしたらこのぽにゃぽにょLv.58はちぎれ易くなくて呪わしいということはない fact4: とあるモンスターは香ばしい
fact4 -> int1: とあるモンスターは香ばしい; int1 & fact2 -> hypothesis;
fact4 -> int1: (Ex): {A}x; int1 & fact2 -> hypothesis;
このぽにゃぽにょLv.58はちぎれ易くなくて更に呪わしくない
$facts$ = fact1: 「このぽにゃぽにょLv.58はちぎれ易くないがそれは呪わしい」ということは確かでない fact2: もしも香ばしいモンスターはいるとしたら「このぽにゃぽにょLv.58はちぎれ易くないしまたそれは呪わしいということはない」ということは誤りである fact3: もし「ちぎれ易くない」モンスターがいるとしたらこのぽにゃぽにょLv.58はちぎれ易くなくて呪わしいということはない fact4: とあるモンスターは香ばしい ; $hypothesis$ = このぽにゃぽにょLv.58はちぎれ易くなくて更に呪わしくない ; $proof$ = 
fact4 -> int1: とあるモンスターは香ばしい; int1 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: (Ex): {A}x; int1 & fact2 -> hypothesis; __DISPROVED__