「そのぽねぽよLv.34は起こし易い」ということは成り立つ
fact1: もしど偉くないモンスターが忍耐強いとしたらそれは加工し易い fact2: もしもなんらかのモンスターが加工し易いとすればそれは生々しい fact3: 仮にこのぽにゃぽにゅLv.80は生々しいとすると「そのぽねぽよLv.34は起こし易い」ということは確かである fact4: もしそのぽねぽよLv.34が生々しいならそのぽねぽよLv.34は加工し易い fact5: 「このぽにゃぽにゅLv.80は集め易いけど忍耐強くない」ということは間違っている fact6: そのぽねぽよLv.34は生々しい fact7: そのぽねぽよLv.34は忍耐強い fact8: もし仮にそのぽねぽよLv.34が忍耐強くて更に加工し易いならそれは起こし易くない
fact4 & fact6 -> int1: そのぽねぽよLv.34は加工し易い; int1 & fact7 -> int2: そのぽねぽよLv.34は忍耐強くてさらに加工し易い; int2 & fact8 -> hypothesis;
fact4 & fact6 -> int1: {B}{a}; int1 & fact7 -> int2: ({C}{a} & {B}{a}); int2 & fact8 -> hypothesis;
「そのぽねぽよLv.34は起こし易い」ということは成り立つ
fact12 -> int3: もしこのぽにゃぽにゅLv.80が加工し易いならばこのぽにゃぽにゅLv.80は生々しい; fact10 -> int4: 仮にこのぽにゃぽにゅLv.80はど偉くないけれど忍耐強いならばそれは加工し易い;
$facts$ = fact1: もしど偉くないモンスターが忍耐強いとしたらそれは加工し易い fact2: もしもなんらかのモンスターが加工し易いとすればそれは生々しい fact3: 仮にこのぽにゃぽにゅLv.80は生々しいとすると「そのぽねぽよLv.34は起こし易い」ということは確かである fact4: もしそのぽねぽよLv.34が生々しいならそのぽねぽよLv.34は加工し易い fact5: 「このぽにゃぽにゅLv.80は集め易いけど忍耐強くない」ということは間違っている fact6: そのぽねぽよLv.34は生々しい fact7: そのぽねぽよLv.34は忍耐強い fact8: もし仮にそのぽねぽよLv.34が忍耐強くて更に加工し易いならそれは起こし易くない ; $hypothesis$ = 「そのぽねぽよLv.34は起こし易い」ということは成り立つ ; $proof$ = 
fact4 & fact6 -> int1: そのぽねぽよLv.34は加工し易い; int1 & fact7 -> int2: そのぽねぽよLv.34は忍耐強くてさらに加工し易い; int2 & fact8 -> hypothesis; __DISPROVED__
fact4 & fact6 -> int1: {B}{a}; int1 & fact7 -> int2: ({C}{a} & {B}{a}); int2 & fact8 -> hypothesis; __DISPROVED__