そのぴのぴやLv.64は算出しない
fact1: このぷにゃぷくLv.34は娘らしいなら「それは手厳しくないしかつそれは怒りっぽい」ということは確かだということはない fact2: もし仮にそのぴのぴやLv.64が守り易いということはないならあのまやまいLv.73は眠いということはない fact3: もし仮にそのぴのぴやLv.64が傷付け易くないならばあのまやまいLv.73は眠くない fact4: そのぴのぴやLv.64が算出すればそれは傷付け易くないかもしくはそれは守り易くないか両方だ fact5: あのまやまいLv.73は眠い fact6: 眠いモンスターは算出する fact7: もし「あるモンスターは手厳しいということはないけどそれは怒りっぽい」ということは成り立たないとすれば怒りっぽくない fact8: もし仮になんらかのモンスターが怒りっぽいなら眠い
void -> assump1: 以下のように仮定する。そのぴのぴやLv.64は算出する; fact4 & assump1 -> int1: そのぴのぴやLv.64は傷付け易くないかもしくは守り易くないかまたはどちらもだ; int1 & fact3 & fact2 -> int2: あのまやまいLv.73は眠くない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: (¬{AA}{a} v ¬{AB}{a}); int1 & fact3 & fact2 -> int2: ¬{B}{b}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。そのぴのぴやLv.64は算出する
fact9 -> int4: もし仮にそのぴのぴやLv.64が眠いとしたら算出する; fact10 -> int5: もしもそのぴのぴやLv.64が怒りっぽいならばそのぴのぴやLv.64は眠い;
$facts$ = fact1: このぷにゃぷくLv.34は娘らしいなら「それは手厳しくないしかつそれは怒りっぽい」ということは確かだということはない fact2: もし仮にそのぴのぴやLv.64が守り易いということはないならあのまやまいLv.73は眠いということはない fact3: もし仮にそのぴのぴやLv.64が傷付け易くないならばあのまやまいLv.73は眠くない fact4: そのぴのぴやLv.64が算出すればそれは傷付け易くないかもしくはそれは守り易くないか両方だ fact5: あのまやまいLv.73は眠い fact6: 眠いモンスターは算出する fact7: もし「あるモンスターは手厳しいということはないけどそれは怒りっぽい」ということは成り立たないとすれば怒りっぽくない fact8: もし仮になんらかのモンスターが怒りっぽいなら眠い ; $hypothesis$ = そのぴのぴやLv.64は算出しない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぴのぴやLv.64は算出する; fact4 & assump1 -> int1: そのぴのぴやLv.64は傷付け易くないかもしくは守り易くないかまたはどちらもだ; int1 & fact3 & fact2 -> int2: あのまやまいLv.73は眠くない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: (¬{AA}{a} v ¬{AB}{a}); int1 & fact3 & fact2 -> int2: ¬{B}{b}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__