「「もし仮に「弱しない」ということは事実でないとすれば惨たらしい」モンスターはいる」ということは成り立たない
fact1: もし仮に「このぷよぷちゃLv.37は気安い」ということは偽でないとするとこのぷよぷちゃLv.37は惨たらしい fact2: もしもこのぷよぷちゃLv.37が弱しとするとそれは気安い
void -> assump1: 以下のように仮定する。このぷよぷちゃLv.37は弱し; fact2 & assump1 -> int1: このぷよぷちゃLv.37は気安い; int1 & fact1 -> int2: このぷよぷちゃLv.37は惨たらしい; [assump1] & int2 -> int3: 仮に「このぷよぷちゃLv.37は弱し」ということは本当であるとすれば惨たらしい; int3 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis;
$facts$ = fact1: もし仮に「このぷよぷちゃLv.37は気安い」ということは偽でないとするとこのぷよぷちゃLv.37は惨たらしい fact2: もしもこのぷよぷちゃLv.37が弱しとするとそれは気安い ; $hypothesis$ = 「「もし仮に「弱しない」ということは事実でないとすれば惨たらしい」モンスターはいる」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぷよぷちゃLv.37は弱し; fact2 & assump1 -> int1: このぷよぷちゃLv.37は気安い; int1 & fact1 -> int2: このぷよぷちゃLv.37は惨たらしい; [assump1] & int2 -> int3: 仮に「このぷよぷちゃLv.37は弱し」ということは本当であるとすれば惨たらしい; int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; [assump1] & int2 -> int3: {A}{a} -> {C}{a}; int3 -> hypothesis; __DISPROVED__