あのまくまにゃLv.57は罪深いしさらに向き合う
fact1: もし仮にあのぷねぷちゃLv.27が描かないがしかし見分け難いとするとあのぷねぷちゃLv.27は苦しい fact2: もしあのぷねぷちゃLv.27は気安いとしたら「あのぷねぷちゃLv.27は判別し難い」ということは事実と異ならない fact3: 仮にあのぷねぷちゃLv.27が苦しいとしたらそれは気安い fact4: あのまくまにゃLv.57は向き合う fact5: あのぷねぷちゃLv.27が判別し難いならあのまくまにゃLv.57は罪深い fact6: あのぷねぷちゃLv.27は描かないが見分け難い fact7: もしも判別し難いモンスターが罪深いとしたらそれは苦しくない
fact1 & fact6 -> int1: あのぷねぷちゃLv.27は苦しい; int1 & fact3 -> int2: あのぷねぷちゃLv.27は気安い; int2 & fact2 -> int3: 「あのぷねぷちゃLv.27は判別し難い」ということは成り立つ; int3 & fact5 -> int4: あのまくまにゃLv.57は罪深い; int4 & fact4 -> hypothesis;
fact1 & fact6 -> int1: {B}{a}; int1 & fact3 -> int2: {A}{a}; int2 & fact2 -> int3: {C}{a}; int3 & fact5 -> int4: {D}{b}; int4 & fact4 -> hypothesis;
そのみのみちゃLv.98は描く
fact8 -> int5: もし仮にあのぷねぷちゃLv.27は判別し難いし罪深いとすればそれは苦しくない;
$facts$ = fact1: もし仮にあのぷねぷちゃLv.27が描かないがしかし見分け難いとするとあのぷねぷちゃLv.27は苦しい fact2: もしあのぷねぷちゃLv.27は気安いとしたら「あのぷねぷちゃLv.27は判別し難い」ということは事実と異ならない fact3: 仮にあのぷねぷちゃLv.27が苦しいとしたらそれは気安い fact4: あのまくまにゃLv.57は向き合う fact5: あのぷねぷちゃLv.27が判別し難いならあのまくまにゃLv.57は罪深い fact6: あのぷねぷちゃLv.27は描かないが見分け難い fact7: もしも判別し難いモンスターが罪深いとしたらそれは苦しくない ; $hypothesis$ = あのまくまにゃLv.57は罪深いしさらに向き合う ; $proof$ = 
fact1 & fact6 -> int1: あのぷねぷちゃLv.27は苦しい; int1 & fact3 -> int2: あのぷねぷちゃLv.27は気安い; int2 & fact2 -> int3: 「あのぷねぷちゃLv.27は判別し難い」ということは成り立つ; int3 & fact5 -> int4: あのまくまにゃLv.57は罪深い; int4 & fact4 -> hypothesis; __PROVED__
fact1 & fact6 -> int1: {B}{a}; int1 & fact3 -> int2: {A}{a}; int2 & fact2 -> int3: {C}{a}; int3 & fact5 -> int4: {D}{b}; int4 & fact4 -> hypothesis; __PROVED__