「このぷゆぷちゅLv.37は浅まし」ということは確かだ
fact1: もしあのぽくぽにょLv.86は類するなら「あのぴちゃぴのLv.70は過不足無い」ということは本当である fact2: 「そのまにまにLv.54は出現し易い」ということは成り立つ fact3: 「後ろめたくないモンスターは浅ましない」ということは間違いでない fact4: そのまにまにLv.54は後ろめたくない fact5: 仮に何らかのモンスターは後ろめたくないとすれば「出現し易いということはないかまたは過不足無いということはないかまたは両方ともだ」ということは誤りである fact6: あのぴちゃぴのLv.70はきもくない fact7: もしもなんらかのモンスターは後ろめたくないとすれば「出現し易くないか手酷くないかまたは両方ともだ」ということは誤りだ fact8: もし仮に「あのぽくぽにょLv.86は類するけどそれは後ろめたいということはない」ということは間違いであるならこのぷゆぷちゅLv.37は後ろめたくない fact9: 仮に「そのまにまにLv.54は出現し易くないかもしくは手酷くないか両方である」ということは成り立たないとしたらあのぽくぽにょLv.86は類する
fact7 -> int1: もし仮にそのまにまにLv.54は後ろめたくないとしたら「そのまにまにLv.54は出現し易くないかもしくは手酷くないか両方ともだ」ということは誤りである; int1 & fact4 -> int2: 「そのまにまにLv.54は出現し易くないかもしくは手酷くないかもしくは両方ともだ」ということは成り立たない; int2 & fact9 -> int3: あのぽくぽにょLv.86は類する; int3 & fact1 -> int4: あのぴちゃぴのLv.70は過不足無い;
fact7 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact4 -> int2: ¬(¬{AA}{aa} v ¬{AB}{aa}); int2 & fact9 -> int3: {B}{a}; int3 & fact1 -> int4: {C}{b};
このぷゆぷちゅLv.37は浅ましない
fact11 -> int5: 「仮にこのぷゆぷちゅLv.37が後ろめたくないならばこのぷゆぷちゅLv.37は浅ましない」ということは正しい;
$facts$ = fact1: もしあのぽくぽにょLv.86は類するなら「あのぴちゃぴのLv.70は過不足無い」ということは本当である fact2: 「そのまにまにLv.54は出現し易い」ということは成り立つ fact3: 「後ろめたくないモンスターは浅ましない」ということは間違いでない fact4: そのまにまにLv.54は後ろめたくない fact5: 仮に何らかのモンスターは後ろめたくないとすれば「出現し易いということはないかまたは過不足無いということはないかまたは両方ともだ」ということは誤りである fact6: あのぴちゃぴのLv.70はきもくない fact7: もしもなんらかのモンスターは後ろめたくないとすれば「出現し易くないか手酷くないかまたは両方ともだ」ということは誤りだ fact8: もし仮に「あのぽくぽにょLv.86は類するけどそれは後ろめたいということはない」ということは間違いであるならこのぷゆぷちゅLv.37は後ろめたくない fact9: 仮に「そのまにまにLv.54は出現し易くないかもしくは手酷くないか両方である」ということは成り立たないとしたらあのぽくぽにょLv.86は類する ; $hypothesis$ = 「このぷゆぷちゅLv.37は浅まし」ということは確かだ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__