「このもにょもちゅLv.24は夥しくない」ということは成り立つ
fact1: もし仮にあのもえもにLv.44が麗々しいし構え易いとすればこのもにょもちゅLv.24は夥しくない fact2: そのぷねぷゆLv.53が名残惜しいしそれに活動し易いならばこのまゆまにゃLv.99は紛らわしくない fact3: このまゆまにゃLv.99が名残惜しいとするとあのもえもにLv.44は麗々しい fact4: そのぷねぷゆLv.53は紛らわしい fact5: そのぷねぷゆLv.53は紛らわしくて活動し易い fact6: あのもえもにLv.44は構え易い fact7: もしそのぷねぷゆLv.53が活動し易いとしたらこのまゆまにゃLv.99は名残惜しい fact8: もしもこのまゆまにゃLv.99が構え易いとすればあのもえもにLv.44は名残惜しい
fact5 -> int1: そのぷねぷゆLv.53は活動し易い; int1 & fact7 -> int2: このまゆまにゃLv.99は名残惜しい; int2 & fact3 -> int3: あのもえもにLv.44は麗々しい; int3 & fact6 -> int4: あのもえもにLv.44は麗々しくてかつ構え易い; int4 & fact1 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; int3 & fact6 -> int4: ({D}{c} & {E}{c}); int4 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にあのもえもにLv.44が麗々しいし構え易いとすればこのもにょもちゅLv.24は夥しくない fact2: そのぷねぷゆLv.53が名残惜しいしそれに活動し易いならばこのまゆまにゃLv.99は紛らわしくない fact3: このまゆまにゃLv.99が名残惜しいとするとあのもえもにLv.44は麗々しい fact4: そのぷねぷゆLv.53は紛らわしい fact5: そのぷねぷゆLv.53は紛らわしくて活動し易い fact6: あのもえもにLv.44は構え易い fact7: もしそのぷねぷゆLv.53が活動し易いとしたらこのまゆまにゃLv.99は名残惜しい fact8: もしもこのまゆまにゃLv.99が構え易いとすればあのもえもにLv.44は名残惜しい ; $hypothesis$ = 「このもにょもちゅLv.24は夥しくない」ということは成り立つ ; $proof$ = 
fact5 -> int1: そのぷねぷゆLv.53は活動し易い; int1 & fact7 -> int2: このまゆまにゃLv.99は名残惜しい; int2 & fact3 -> int3: あのもえもにLv.44は麗々しい; int3 & fact6 -> int4: あのもえもにLv.44は麗々しくてかつ構え易い; int4 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; int3 & fact6 -> int4: ({D}{c} & {E}{c}); int4 & fact1 -> hypothesis; __PROVED__