「そのぴゆぴいLv.47は伝え難くないが意思決定する」ということは成り立たない
fact1: 「そのぴゆぴいLv.47は擽ったい」ということは成り立てば「それは伝え難くないしさらに意思決定する」ということは事実と異なる fact2: 出易くないモンスターは伝え難くないモンスターであってその上意思決定する fact3: もしあのぽにょぽちょLv.13が出易いとするとこのみゆみのLv.12は多い fact4: このみゆみのLv.12は伝え難い fact5: 仮にこのみゆみのLv.12が多いとすればそのぴゆぴいLv.47は擽ったい fact6: 「そのぴゆぴいLv.47は伝え難くて意思決定する」ということは事実と異なる fact7: あのぽにょぽちょLv.13は出易い
fact3 & fact7 -> int1: このみゆみのLv.12は多い; int1 & fact5 -> int2: そのぴゆぴいLv.47は擽ったい; int2 & fact1 -> hypothesis;
fact3 & fact7 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 & fact1 -> hypothesis;
そのぴゆぴいLv.47は伝え難くないが意思決定する
fact8 -> int3: もし仮にそのぴゆぴいLv.47が出易くないとしたらそのぴゆぴいLv.47は伝え難いということはないが意思決定する;
$facts$ = fact1: 「そのぴゆぴいLv.47は擽ったい」ということは成り立てば「それは伝え難くないしさらに意思決定する」ということは事実と異なる fact2: 出易くないモンスターは伝え難くないモンスターであってその上意思決定する fact3: もしあのぽにょぽちょLv.13が出易いとするとこのみゆみのLv.12は多い fact4: このみゆみのLv.12は伝え難い fact5: 仮にこのみゆみのLv.12が多いとすればそのぴゆぴいLv.47は擽ったい fact6: 「そのぴゆぴいLv.47は伝え難くて意思決定する」ということは事実と異なる fact7: あのぽにょぽちょLv.13は出易い ; $hypothesis$ = 「そのぴゆぴいLv.47は伝え難くないが意思決定する」ということは成り立たない ; $proof$ = 
fact3 & fact7 -> int1: このみゆみのLv.12は多い; int1 & fact5 -> int2: そのぴゆぴいLv.47は擽ったい; int2 & fact1 -> hypothesis; __PROVED__
fact3 & fact7 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 & fact1 -> hypothesis; __PROVED__