「そのものもよLv.93は挿入するし露見する」ということは成り立たない
fact1: そのものもよLv.93は痛み易い fact2: もしこのぷくぷにゅLv.46が長しということはないならそれは露見しない fact3: そのみゆみちょLv.10は崩れ易い fact4: あのみえみえLv.67が痛み易いならそのものもよLv.93は挿入する fact5: 仮にそのみゆみちょLv.10が崩れ易いとしたらこのぷくぷにゅLv.46は長し fact6: あのみえみえLv.67は挿入する fact7: もしもこのぷくぷにゅLv.46が長しならあのみえみえLv.67は痛み易い fact8: そのものもよLv.93は露見する
fact5 & fact3 -> int1: このぷくぷにゅLv.46は長し; fact7 & int1 -> int2: あのみえみえLv.67は痛み易い; int2 & fact4 -> int3: 「そのものもよLv.93は挿入する」ということは成り立つ; int3 & fact8 -> hypothesis;
fact5 & fact3 -> int1: {A}{a}; fact7 & int1 -> int2: {B}{b}; int2 & fact4 -> int3: {C}{c}; int3 & fact8 -> hypothesis;
「そのものもよLv.93は挿入するし露見する」ということは成り立たない
$facts$ = fact1: そのものもよLv.93は痛み易い fact2: もしこのぷくぷにゅLv.46が長しということはないならそれは露見しない fact3: そのみゆみちょLv.10は崩れ易い fact4: あのみえみえLv.67が痛み易いならそのものもよLv.93は挿入する fact5: 仮にそのみゆみちょLv.10が崩れ易いとしたらこのぷくぷにゅLv.46は長し fact6: あのみえみえLv.67は挿入する fact7: もしもこのぷくぷにゅLv.46が長しならあのみえみえLv.67は痛み易い fact8: そのものもよLv.93は露見する ; $hypothesis$ = 「そのものもよLv.93は挿入するし露見する」ということは成り立たない ; $proof$ = 
fact5 & fact3 -> int1: このぷくぷにゅLv.46は長し; fact7 & int1 -> int2: あのみえみえLv.67は痛み易い; int2 & fact4 -> int3: 「そのものもよLv.93は挿入する」ということは成り立つ; int3 & fact8 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: {A}{a}; fact7 & int1 -> int2: {B}{b}; int2 & fact4 -> int3: {C}{c}; int3 & fact8 -> hypothesis; __DISPROVED__