以下のように仮定する。そのもちゅもにLv.7は維持すらない
fact1: もし「そのぷよぷにょLv.16は男っぽくないけれど物悲しい」ということは事実と異なるとすればそのもくもにゃLv.19は弱しない fact2: 全てのモンスターはださいし燃え易い fact3: 仮に「そのぷよぷにょLv.16は物悲しくないがしかし弱し」ということは偽だとしたらそのもくもにゃLv.19は男っぽくない fact4: 仮にそのもちゅもにLv.7は維持すらないなら「そのぷよぷにょLv.16は男っぽくない一方で物悲しい」ということは間違っている fact5: もしもそのぷよぷにょLv.16は物悲しくないとすれば「そのもくもにゃLv.19は弱しないけれどそれは男っぽい」ということは成り立たない fact6: そのもくもにゃLv.19は弱し fact7: もしもそのぷよぷにょLv.16が弱しとすればそのもくもにゃLv.19は男っぽくない
void -> assump1: 以下のように仮定する。そのもちゅもにLv.7は維持すらない; fact4 & assump1 -> int1: 「そのぷよぷにょLv.16は男っぽくないが物悲しい」ということは成り立たない; int1 & fact1 -> int2: そのもくもにゃLv.19は弱しない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact4 & assump1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact1 -> int2: ¬{B}{c}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。そのもちゅもにLv.7は維持すらない
fact8 -> int4: そのぷよぷにょLv.16はださいしそれは燃え易い; int4 -> int5: そのぷよぷにょLv.16はださい;
$facts$ = fact1: もし「そのぷよぷにょLv.16は男っぽくないけれど物悲しい」ということは事実と異なるとすればそのもくもにゃLv.19は弱しない fact2: 全てのモンスターはださいし燃え易い fact3: 仮に「そのぷよぷにょLv.16は物悲しくないがしかし弱し」ということは偽だとしたらそのもくもにゃLv.19は男っぽくない fact4: 仮にそのもちゅもにLv.7は維持すらないなら「そのぷよぷにょLv.16は男っぽくない一方で物悲しい」ということは間違っている fact5: もしもそのぷよぷにょLv.16は物悲しくないとすれば「そのもくもにゃLv.19は弱しないけれどそれは男っぽい」ということは成り立たない fact6: そのもくもにゃLv.19は弱し fact7: もしもそのぷよぷにょLv.16が弱しとすればそのもくもにゃLv.19は男っぽくない ; $hypothesis$ = 以下のように仮定する。そのもちゅもにLv.7は維持すらない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのもちゅもにLv.7は維持すらない; fact4 & assump1 -> int1: 「そのぷよぷにょLv.16は男っぽくないが物悲しい」ということは成り立たない; int1 & fact1 -> int2: そのもくもにゃLv.19は弱しない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}{a}; fact4 & assump1 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact1 -> int2: ¬{B}{c}; int2 & fact6 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__