このもにゃもやLv.28は営業する
fact1: もしあのぷちょぷのLv.94が運悪いならこのもにゃもやLv.28は営業する fact2: 書き易いということはないモンスターは営業しないがしかし起こし難い fact3: もし仮に「このもにゃもやLv.28は言い続けるしかつ釣り合う」ということは誤りだとすると運悪くない fact4: 仮にこのもちょもちゃLv.42が起こし難いとしたらあのぷちょぷのLv.94は書き易い fact5: このもちょもちゃLv.42は起こし難い fact6: あのぷちょぷのLv.94が書き易いならそれは運悪い fact7: 運悪くなくてそれにひもじいモンスターは書き易くない
fact4 & fact5 -> int1: あのぷちょぷのLv.94は書き易い; int1 & fact6 -> int2: あのぷちょぷのLv.94は運悪い; int2 & fact1 -> hypothesis;
fact4 & fact5 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
このもにゃもやLv.28は営業しない
fact10 -> int3: もし仮にこのもにゃもやLv.28が書き易くないとすればそれは営業しなくてそれは起こし難い; fact8 -> int4: もしもこのもにゃもやLv.28が運悪いということはないけれどひもじいとしたらこのもにゃもやLv.28は書き易いということはない;
$facts$ = fact1: もしあのぷちょぷのLv.94が運悪いならこのもにゃもやLv.28は営業する fact2: 書き易いということはないモンスターは営業しないがしかし起こし難い fact3: もし仮に「このもにゃもやLv.28は言い続けるしかつ釣り合う」ということは誤りだとすると運悪くない fact4: 仮にこのもちょもちゃLv.42が起こし難いとしたらあのぷちょぷのLv.94は書き易い fact5: このもちょもちゃLv.42は起こし難い fact6: あのぷちょぷのLv.94が書き易いならそれは運悪い fact7: 運悪くなくてそれにひもじいモンスターは書き易くない ; $hypothesis$ = このもにゃもやLv.28は営業する ; $proof$ = 
fact4 & fact5 -> int1: あのぷちょぷのLv.94は書き易い; int1 & fact6 -> int2: あのぷちょぷのLv.94は運悪い; int2 & fact1 -> hypothesis; __PROVED__
fact4 & fact5 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__