あのまいまわLv.71は切り易くないか惜しみ無くないかどちらもである
fact1: あのぽなぽいLv.78は訝しいけれどそれは恨みがましかない fact2: もしもあのぽなぽいLv.78が崩し易いとしたらあのまいまわLv.71は切り易くないかまたはそれは惜しみ無くないかまたはどちらもである fact3: 仮になにがしかのモンスターは崩し易いということはないとすると「切り易くないかあるいは惜しみ無くないかあるいは両方ともである」ということは事実であるということはない fact4: 危うしないモンスターは軟らかいか崩し易い fact5: もしもあのぽなぽいLv.78が訝しい一方で恨みがましかないとしたらあのぽなぽいLv.78は崩し易い fact6: 軟らかいモンスターは惜しみ無くないしその上切り易くない
fact5 & fact1 -> int1: あのぽなぽいLv.78は崩し易い; int1 & fact2 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
「あのまいまわLv.71は切り易くないか惜しみ無くないかどちらもである」ということは間違いである
fact7 -> int2: もし仮にあのまいまわLv.71は崩し易くないとしたら「あのまいまわLv.71は切り易くないかあるいは惜しみ無くないか両方だ」ということは間違いだ; fact8 -> int3: あのぽなぽいLv.78が危うしないなら軟らかいかもしくは崩し易いかもしくはどちらもである;
$facts$ = fact1: あのぽなぽいLv.78は訝しいけれどそれは恨みがましかない fact2: もしもあのぽなぽいLv.78が崩し易いとしたらあのまいまわLv.71は切り易くないかまたはそれは惜しみ無くないかまたはどちらもである fact3: 仮になにがしかのモンスターは崩し易いということはないとすると「切り易くないかあるいは惜しみ無くないかあるいは両方ともである」ということは事実であるということはない fact4: 危うしないモンスターは軟らかいか崩し易い fact5: もしもあのぽなぽいLv.78が訝しい一方で恨みがましかないとしたらあのぽなぽいLv.78は崩し易い fact6: 軟らかいモンスターは惜しみ無くないしその上切り易くない ; $hypothesis$ = あのまいまわLv.71は切り易くないか惜しみ無くないかどちらもである ; $proof$ = 
fact5 & fact1 -> int1: あのぽなぽいLv.78は崩し易い; int1 & fact2 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __PROVED__