「仮に「「わりなくないかあるいは使用し難くないかもしくはどちらもだ」ということは確かである」ということは間違っているとすると理解し難くない」モンスターはいる
fact1: 仮に「そのぷにゃぷくLv.42はわりなくないかあるいは使用し難くないかあるいはどちらもである」ということは成り立たないとすればそのぷにゃぷくLv.42は理解し難い fact2: 「「「わりないかもしくは使用し難くないかまたは両方ともだ」ということは正しい」ということは成り立たないなら理解し難いということはない」モンスターはいる fact3: もし仮に「なんらかのモンスターはわりないかもしくは使用し難くないか両方ともである」ということは成り立たないなら理解し難くない fact4: 「なんらかのモンスターはわりなくないかまたは使用し難くないかどちらもである」ということは本当でないとすれば理解し難くない fact5: 「もし仮に「わりなくないかあるいは使用し難くないかあるいは両方だ」ということは間違いだとしたら理解し難い」モンスターはいる fact6: 「もしもわりなくないかまたは使用し難くないとしたら理解し難くない」モンスターはいる
fact4 -> int1: 「そのぷにゃぷくLv.42はわりなくないかそれは使用し難くない」ということは成り立たないならばそれは理解し難くない; int1 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 仮に「そのぷにゃぷくLv.42はわりなくないかあるいは使用し難くないかあるいはどちらもである」ということは成り立たないとすればそのぷにゃぷくLv.42は理解し難い fact2: 「「「わりないかもしくは使用し難くないかまたは両方ともだ」ということは正しい」ということは成り立たないなら理解し難いということはない」モンスターはいる fact3: もし仮に「なんらかのモンスターはわりないかもしくは使用し難くないか両方ともである」ということは成り立たないなら理解し難くない fact4: 「なんらかのモンスターはわりなくないかまたは使用し難くないかどちらもである」ということは本当でないとすれば理解し難くない fact5: 「もし仮に「わりなくないかあるいは使用し難くないかあるいは両方だ」ということは間違いだとしたら理解し難い」モンスターはいる fact6: 「もしもわりなくないかまたは使用し難くないとしたら理解し難くない」モンスターはいる ; $hypothesis$ = 「仮に「「わりなくないかあるいは使用し難くないかもしくはどちらもだ」ということは確かである」ということは間違っているとすると理解し難くない」モンスターはいる ; $proof$ = 
fact4 -> int1: 「そのぷにゃぷくLv.42はわりなくないかそれは使用し難くない」ということは成り立たないならばそれは理解し難くない; int1 -> hypothesis; __PROVED__
fact4 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __PROVED__