あのぽにゅぽにゃLv.92は乗り易くて加えてに因って行く
fact1: あのぽにゅぽにゃLv.92はに因って行く fact2: ごっついということはないモンスターはアクセスし易くなくてかつ心弱くない fact3: 何らかのモンスターは飲んだくれない fact4: 「ごっつかない」モンスターはいる fact5: そのみえみゆLv.39はごっつかない fact6: 「ごっつい一方で飲んだくれない」モンスターはいる fact7: 仮に「ごっつかなくてしかも飲んだくれない」モンスターがいるとしたらあのぽにゅぽにゃLv.92は乗り易い fact8: そのみえみゆLv.39はごっつかないしそれに飲んだくれない
fact8 -> int1: ごっついということはないモンスターでおまけに飲んだくれないモンスターはいる; int1 & fact7 -> int2: 「あのぽにゅぽにゃLv.92は乗り易い」ということは成り立つ; int2 & fact1 -> hypothesis;
fact8 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact7 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
このぽくぽやLv.86はアクセスし易くないし心弱くない
fact9 -> int3: もしこのぽくぽやLv.86はごっつかないならばこのぽくぽやLv.86はアクセスし易くないし心弱くない;
$facts$ = fact1: あのぽにゅぽにゃLv.92はに因って行く fact2: ごっついということはないモンスターはアクセスし易くなくてかつ心弱くない fact3: 何らかのモンスターは飲んだくれない fact4: 「ごっつかない」モンスターはいる fact5: そのみえみゆLv.39はごっつかない fact6: 「ごっつい一方で飲んだくれない」モンスターはいる fact7: 仮に「ごっつかなくてしかも飲んだくれない」モンスターがいるとしたらあのぽにゅぽにゃLv.92は乗り易い fact8: そのみえみゆLv.39はごっつかないしそれに飲んだくれない ; $hypothesis$ = あのぽにゅぽにゃLv.92は乗り易くて加えてに因って行く ; $proof$ = 
fact8 -> int1: ごっついということはないモンスターでおまけに飲んだくれないモンスターはいる; int1 & fact7 -> int2: 「あのぽにゅぽにゃLv.92は乗り易い」ということは成り立つ; int2 & fact1 -> hypothesis; __PROVED__
fact8 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact7 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __PROVED__