このぽいぽいLv.37は叩きのめす
fact1: もし何らかのモンスターが溶け切るなら叩きのめす fact2: このもちゅもにゅLv.93は溶け切るしかつ弱い fact3: このみちゃみなLv.71は長細くない一方で弱い fact4: もしもこのもちゅもにゅLv.93は溶け切るしそれに長細いならば「このぽいぽいLv.37は叩きのめす」ということは誤りだ fact5: このもちゅもにゅLv.93は長細い
fact2 -> int1: 「このもちゅもにゅLv.93は溶け切る」ということは事実だ; int1 & fact5 -> int2: このもちゅもにゅLv.93は溶け切るしまたそれは長細い; int2 & fact4 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{a} & {C}{a}); int2 & fact4 -> hypothesis;
このぽいぽいLv.37は叩きのめす
fact6 -> int3: もしこのぽいぽいLv.37が溶け切るとするとこのぽいぽいLv.37は叩きのめす; fact7 -> int4: なにがしかのモンスターは長細くない一方でそれは弱い;
$facts$ = fact1: もし何らかのモンスターが溶け切るなら叩きのめす fact2: このもちゅもにゅLv.93は溶け切るしかつ弱い fact3: このみちゃみなLv.71は長細くない一方で弱い fact4: もしもこのもちゅもにゅLv.93は溶け切るしそれに長細いならば「このぽいぽいLv.37は叩きのめす」ということは誤りだ fact5: このもちゅもにゅLv.93は長細い ; $hypothesis$ = このぽいぽいLv.37は叩きのめす ; $proof$ = 
fact2 -> int1: 「このもちゅもにゅLv.93は溶け切る」ということは事実だ; int1 & fact5 -> int2: このもちゅもにゅLv.93は溶け切るしまたそれは長細い; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact5 -> int2: ({A}{a} & {C}{a}); int2 & fact4 -> hypothesis; __DISPROVED__