そのぽいぽわLv.49は相待たない
fact1: 近しくないモンスターは馬鹿でかいかまたは及び難いかあるいは両方である fact2: もし仮に何らかのモンスターが近しいかあるいは捕まえ易いならばそのぽいぽわLv.49は相待つ fact3: そのぽなぽわLv.45が及び難いとしたらそのぽなぽわLv.45は近しい fact4: 「もし仮にこのみよみのLv.52が奥深くないとすればこのみよみのLv.52は相待たない」ということは真実だ fact5: そのぽなぽわLv.45は馬鹿でかいし及び難い fact6: もしこのみよみのLv.52が相待たないとしたらそのぽいぽわLv.49は捕まえ易くないしそれに近しくない
fact5 -> int1: そのぽなぽわLv.45は及び難い; int1 & fact3 -> int2: そのぽなぽわLv.45は近しい; int2 -> int3: そのぽなぽわLv.45は近しいかあるいは捕まえ易いかまたは両方である; int3 -> int4: 「近しいかあるいは捕まえ易いかまたはどちらもである」モンスターはいる; int4 & fact2 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 -> int3: ({C}{a} v {D}{a}); int3 -> int4: (Ex): ({C}x v {D}x); int4 & fact2 -> hypothesis;
とあるモンスターは遅いかあるいは知り合いらしいか両方ともである
fact7 -> int5: そのぽいぽわLv.49が近しくないならそのぽいぽわLv.49は馬鹿でかいかまたは及び難い;
$facts$ = fact1: 近しくないモンスターは馬鹿でかいかまたは及び難いかあるいは両方である fact2: もし仮に何らかのモンスターが近しいかあるいは捕まえ易いならばそのぽいぽわLv.49は相待つ fact3: そのぽなぽわLv.45が及び難いとしたらそのぽなぽわLv.45は近しい fact4: 「もし仮にこのみよみのLv.52が奥深くないとすればこのみよみのLv.52は相待たない」ということは真実だ fact5: そのぽなぽわLv.45は馬鹿でかいし及び難い fact6: もしこのみよみのLv.52が相待たないとしたらそのぽいぽわLv.49は捕まえ易くないしそれに近しくない ; $hypothesis$ = そのぽいぽわLv.49は相待たない ; $proof$ = 
fact5 -> int1: そのぽなぽわLv.45は及び難い; int1 & fact3 -> int2: そのぽなぽわLv.45は近しい; int2 -> int3: そのぽなぽわLv.45は近しいかあるいは捕まえ易いかまたは両方である; int3 -> int4: 「近しいかあるいは捕まえ易いかまたはどちらもである」モンスターはいる; int4 & fact2 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 -> int3: ({C}{a} v {D}{a}); int3 -> int4: (Ex): ({C}x v {D}x); int4 & fact2 -> hypothesis; __DISPROVED__