「「「弱いモンスターで深し」ということは成り立たない」モンスターはいる」ということは成り立たない
fact1: もしもあのぷやぷよLv.60が接着するなら反省す fact2: 「弱いししかも深し」モンスターはいる fact3: 「接着する」モンスターはいるとすると「あのぷやぷよLv.60は弱くてかつそれは深し」ということは事実と異なる fact4: あのぽのぽわLv.34は接着する
fact4 -> int1: なにがしかのモンスターは接着する; int1 & fact3 -> int2: 「あのぷやぷよLv.60は弱くてまたそれは深し」ということは確かでない; int2 -> hypothesis;
fact4 -> int1: (Ex): {A}x; int1 & fact3 -> int2: ¬({B}{a} & {C}{a}); int2 -> hypothesis;
「「反省す」モンスターはいる」ということは真実だ
$facts$ = fact1: もしもあのぷやぷよLv.60が接着するなら反省す fact2: 「弱いししかも深し」モンスターはいる fact3: 「接着する」モンスターはいるとすると「あのぷやぷよLv.60は弱くてかつそれは深し」ということは事実と異なる fact4: あのぽのぽわLv.34は接着する ; $hypothesis$ = 「「「弱いモンスターで深し」ということは成り立たない」モンスターはいる」ということは成り立たない ; $proof$ = 
fact4 -> int1: なにがしかのモンスターは接着する; int1 & fact3 -> int2: 「あのぷやぷよLv.60は弱くてまたそれは深し」ということは確かでない; int2 -> hypothesis; __DISPROVED__
fact4 -> int1: (Ex): {A}x; int1 & fact3 -> int2: ¬({B}{a} & {C}{a}); int2 -> hypothesis; __DISPROVED__