以下のように仮定する。そのみにゃみちょLv.78は晒され易いけど調査研究しない
fact1: 仮に晒され易いモンスターが調査研究するとすれば黒い fact2: そのみにゃみちょLv.78は黒くない fact3: 「何らかのモンスターは晒され易いけれど調査研究しない」ということは真実であるとしたら黒い fact4: 仮に何らかのモンスターがえぐいということはないとしたら晒され易いししかも調査研究しない fact5: 「そのみにゃみちょLv.78は晒され易いし更に調査研究する」ということは誤りである
fact3 -> int1: もし仮にそのみにゃみちょLv.78は晒され易いけど調査研究しないなら黒い; void -> assump1: 以下のように仮定する。そのみにゃみちょLv.78は晒され易いけど調査研究しない; int1 & assump1 -> int2: そのみにゃみちょLv.78は黒い; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact3 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; void -> assump1: ({AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: {B}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。そのみにゃみちょLv.78は晒され易いけど調査研究しない
fact6 -> int4: 仮にそのみにゃみちょLv.78がえぐくないならそのみにゃみちょLv.78は晒され易いけれどそれは調査研究しない;
$facts$ = fact1: 仮に晒され易いモンスターが調査研究するとすれば黒い fact2: そのみにゃみちょLv.78は黒くない fact3: 「何らかのモンスターは晒され易いけれど調査研究しない」ということは真実であるとしたら黒い fact4: 仮に何らかのモンスターがえぐいということはないとしたら晒され易いししかも調査研究しない fact5: 「そのみにゃみちょLv.78は晒され易いし更に調査研究する」ということは誤りである ; $hypothesis$ = 以下のように仮定する。そのみにゃみちょLv.78は晒され易いけど調査研究しない ; $proof$ = 
fact3 -> int1: もし仮にそのみにゃみちょLv.78は晒され易いけど調査研究しないなら黒い; void -> assump1: 以下のように仮定する。そのみにゃみちょLv.78は晒され易いけど調査研究しない; int1 & assump1 -> int2: そのみにゃみちょLv.78は黒い; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
fact3 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; void -> assump1: ({AA}{aa} & ¬{AB}{aa}); int1 & assump1 -> int2: {B}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__