そのぽちゅぽにゃLv.8は喚き散らさないかそれは軽しないかどちらもだ
fact1: とあるモンスターは夥しくないならば「喚き散らさないか軽しないか両方だ」ということは成り立たない fact2: もしこのまなまちゃLv.45が夥しいとしたらそのぽちゅぽにゃLv.8は喚き散らさないかあるいは軽しないかもしくはどちらもである fact3: このまなまちゃLv.45は夥しい
fact3 -> int1: このまなまちゃLv.45は夥しい; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
「そのぽちゅぽにゃLv.8は喚き散らさないかまたは軽しないかまたはどちらもだ」ということは成り立たない
fact4 -> int2: もしそのぽちゅぽにゃLv.8は夥しくないとしたら「喚き散らさないかあるいは軽しないかまたはどちらもである」ということは誤っている;
$facts$ = fact1: とあるモンスターは夥しくないならば「喚き散らさないか軽しないか両方だ」ということは成り立たない fact2: もしこのまなまちゃLv.45が夥しいとしたらそのぽちゅぽにゃLv.8は喚き散らさないかあるいは軽しないかもしくはどちらもである fact3: このまなまちゃLv.45は夥しい ; $hypothesis$ = そのぽちゅぽにゃLv.8は喚き散らさないかそれは軽しないかどちらもだ ; $proof$ = 
fact3 -> int1: このまなまちゃLv.45は夥しい; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__