「そのみゆみちゃLv.50は燻り続けるということはないか口煩くないか両方ともだ」ということは正しい
fact1: 仮に「なんらかのモンスターは燻り続けないかまたはそれは口煩いか両方ともである」ということは間違いだとすると「それは御宜しいということはない」ということは嘘でない fact2: そのみゆみちゃLv.50は御宜しい fact3: もし仮に「「そのみゆみちゃLv.50は燻り続けないか口煩いかもしくは両方ともである」ということは正しい」ということは間違いであるとしたらそのみゆみちゃLv.50は御宜しくない fact4: もし仮に「なにがしかのモンスターは燻り続けないかあるいは口煩くない」ということは嘘であるとしたら「御宜しいということはない」ということは正しい fact5: もし「とあるモンスターは燻り続けるかあるいは口煩いということはないかあるいは両方ともである」ということは成り立たないとすれば「それは御宜しくない」ということは嘘でない
fact4 -> int1: 仮に「そのみゆみちゃLv.50は燻り続けないかもしくはそれは口煩いということはないかもしくは両方だ」ということは誤っているとしたらそのみゆみちゃLv.50は御宜しくない; void -> assump1: 以下のように仮定する。「そのみゆみちゃLv.50は燻り続けないかもしくは口煩くないかまたは両方ともである」ということは成り立たない; int1 & assump1 -> int2: そのみゆみちゃLv.50は御宜しくない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮に「なんらかのモンスターは燻り続けないかまたはそれは口煩いか両方ともである」ということは間違いだとすると「それは御宜しいということはない」ということは嘘でない fact2: そのみゆみちゃLv.50は御宜しい fact3: もし仮に「「そのみゆみちゃLv.50は燻り続けないか口煩いかもしくは両方ともである」ということは正しい」ということは間違いであるとしたらそのみゆみちゃLv.50は御宜しくない fact4: もし仮に「なにがしかのモンスターは燻り続けないかあるいは口煩くない」ということは嘘であるとしたら「御宜しいということはない」ということは正しい fact5: もし「とあるモンスターは燻り続けるかあるいは口煩いということはないかあるいは両方ともである」ということは成り立たないとすれば「それは御宜しくない」ということは嘘でない ; $hypothesis$ = 「そのみゆみちゃLv.50は燻り続けるということはないか口煩くないか両方ともだ」ということは正しい ; $proof$ = 
fact4 -> int1: 仮に「そのみゆみちゃLv.50は燻り続けないかもしくはそれは口煩いということはないかもしくは両方だ」ということは誤っているとしたらそのみゆみちゃLv.50は御宜しくない; void -> assump1: 以下のように仮定する。「そのみゆみちゃLv.50は燻り続けないかもしくは口煩くないかまたは両方ともである」ということは成り立たない; int1 & assump1 -> int2: そのみゆみちゃLv.50は御宜しくない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact4 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__