以下のように仮定する。あのまいまいLv.81は探し易い
fact1: あのまいまいLv.81が控除出来るし探し易いとすればあのみにゃみなLv.31は低くない fact2: あのまいまいLv.81は低くない fact3: 子供っぽいモンスターは焼け落ちる fact4: あのまいまいLv.81は控除出来る fact5: あのみにゃみなLv.31は低い fact6: 低いということはないモンスターでありさらに控除出来ないモンスターは探し易くない fact7: もしなんらかのモンスターが焼け落ちるとすると低くないし控除出来ない
void -> assump1: 以下のように仮定する。あのまいまいLv.81は探し易い; fact4 & assump1 -> int1: あのまいまいLv.81は控除出来るししかもそれは探し易い; int1 & fact1 -> int2: あのみにゃみなLv.31は低くない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; fact4 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。あのまいまいLv.81は探し易い
fact9 -> int4: もしもあのまいまいLv.81は低くなくておまけに控除出来ないとすればそれは探し易い; fact8 -> int5: もしもあのまいまいLv.81が焼け落ちればあのまいまいLv.81は低くないしそれにそれは控除出来ない; fact10 -> int6: あのまいまいLv.81が子供っぽいとしたらあのまいまいLv.81は焼け落ちる;
$facts$ = fact1: あのまいまいLv.81が控除出来るし探し易いとすればあのみにゃみなLv.31は低くない fact2: あのまいまいLv.81は低くない fact3: 子供っぽいモンスターは焼け落ちる fact4: あのまいまいLv.81は控除出来る fact5: あのみにゃみなLv.31は低い fact6: 低いということはないモンスターでありさらに控除出来ないモンスターは探し易くない fact7: もしなんらかのモンスターが焼け落ちるとすると低くないし控除出来ない ; $hypothesis$ = 以下のように仮定する。あのまいまいLv.81は探し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのまいまいLv.81は探し易い; fact4 & assump1 -> int1: あのまいまいLv.81は控除出来るししかもそれは探し易い; int1 & fact1 -> int2: あのみにゃみなLv.31は低くない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}{a}; fact4 & assump1 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__