このまいまくLv.64は犯し難いが御済まない
fact1: もしもあるモンスターは馬鹿でかいとすれば「心地良い」ということは真実である fact2: このまいまくLv.64は心地良い fact3: なんらかのモンスターが心地良いなら犯し難いが御済まない
fact3 -> int1: 「仮にこのまいまくLv.64は心地良いとすると「このまいまくLv.64は犯し難いが御済むということはない」ということは真実である」ということは成り立つ; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> hypothesis;
そのぷにぷのLv.92は心地良い
fact4 -> int2: もしもそのぷにぷのLv.92が馬鹿でかいとしたらそのぷにぷのLv.92は心地良い;
$facts$ = fact1: もしもあるモンスターは馬鹿でかいとすれば「心地良い」ということは真実である fact2: このまいまくLv.64は心地良い fact3: なんらかのモンスターが心地良いなら犯し難いが御済まない ; $hypothesis$ = このまいまくLv.64は犯し難いが御済まない ; $proof$ = 
fact3 -> int1: 「仮にこのまいまくLv.64は心地良いとすると「このまいまくLv.64は犯し難いが御済むということはない」ということは真実である」ということは成り立つ; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> hypothesis; __PROVED__