「もし「細くなくてその上変更し為さらない」ということは誤りであるとすれば乗り越えない」モンスターはいる
fact1: もし何らかのモンスターが変更し為さるとすれば乗り越えない fact2: もし仮に「このぷえぷちゅLv.56は細くなくて更にそれは変更し為さらない」ということは嘘であるとするとこのぷえぷちゅLv.56は乗り越える fact3: もし仮に「なんらかのモンスターは細くなくておまけに変更し為さるということはない」ということは間違っているとするとそれは乗り越えない fact4: 「もし「細くないししかも変更し為さらない」ということは成り立たないとすると乗り越える」モンスターはいる fact5: 「もし仮に「細いが変更し為さらない」ということは成り立たないならば乗り越えない」モンスターはいる
fact3 -> int1: もし仮に「このぷえぷちゅLv.56は細くないしそれは変更し為さらない」ということは事実と異なるとしたら乗り越えるということはない; int1 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もし何らかのモンスターが変更し為さるとすれば乗り越えない fact2: もし仮に「このぷえぷちゅLv.56は細くなくて更にそれは変更し為さらない」ということは嘘であるとするとこのぷえぷちゅLv.56は乗り越える fact3: もし仮に「なんらかのモンスターは細くなくておまけに変更し為さるということはない」ということは間違っているとするとそれは乗り越えない fact4: 「もし「細くないししかも変更し為さらない」ということは成り立たないとすると乗り越える」モンスターはいる fact5: 「もし仮に「細いが変更し為さらない」ということは成り立たないならば乗り越えない」モンスターはいる ; $hypothesis$ = 「もし「細くなくてその上変更し為さらない」ということは誤りであるとすれば乗り越えない」モンスターはいる ; $proof$ = 
fact3 -> int1: もし仮に「このぷえぷちゅLv.56は細くないしそれは変更し為さらない」ということは事実と異なるとしたら乗り越えるということはない; int1 -> hypothesis; __PROVED__
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __PROVED__