あのもねもよLv.35は空々しい
fact1: もし仮にあのまにゃまくLv.72が一煮すればあのまにゃまくLv.72は浅まし fact2: もしそのみえみにゅLv.91が御見せするとするとそれは空々しい fact3: あのもねもよLv.35は御見せするしまたそれは一煮する fact4: もしあのもねもよLv.35が一煮するなら溢れ出る fact5: もしもあるモンスターは溢れ出ないとすれば「それは一煮しないが御見せする」ということは真実でない fact6: もし仮に何らかのモンスターが起こし易くないかあるいは溢れ出るということはないならば溢れ出ない fact7: もし仮に「あのもねもよLv.35は溢れ出る」ということは事実だとしたらあのもねもよLv.35は空々しい
fact3 -> int1: あのもねもよLv.35は一煮する; int1 & fact4 -> int2: あのもねもよLv.35は溢れ出る; int2 & fact7 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact7 -> hypothesis;
「あのもねもよLv.35は空々しい」ということは成り立たない
fact8 -> int3: もしあのもねもよLv.35は溢れ出るということはないとすると「あのもねもよLv.35は一煮しないが御見せする」ということは確かでない; fact9 -> int4: もしもあのもねもよLv.35が起こし易くないかもしくは溢れ出ないかもしくは両方ともだとするとあのもねもよLv.35は溢れ出ない;
$facts$ = fact1: もし仮にあのまにゃまくLv.72が一煮すればあのまにゃまくLv.72は浅まし fact2: もしそのみえみにゅLv.91が御見せするとするとそれは空々しい fact3: あのもねもよLv.35は御見せするしまたそれは一煮する fact4: もしあのもねもよLv.35が一煮するなら溢れ出る fact5: もしもあるモンスターは溢れ出ないとすれば「それは一煮しないが御見せする」ということは真実でない fact6: もし仮に何らかのモンスターが起こし易くないかあるいは溢れ出るということはないならば溢れ出ない fact7: もし仮に「あのもねもよLv.35は溢れ出る」ということは事実だとしたらあのもねもよLv.35は空々しい ; $hypothesis$ = あのもねもよLv.35は空々しい ; $proof$ = 
fact3 -> int1: あのもねもよLv.35は一煮する; int1 & fact4 -> int2: あのもねもよLv.35は溢れ出る; int2 & fact7 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact7 -> hypothesis; __PROVED__