あのぴちょぴちゅLv.90は染み込み易い
fact1: このぷにゅぷのLv.78は強いということはないモンスターであって変身出来る fact2: あのぴちょぴちゅLv.90は強い fact3: もしもこのぷにゅぷのLv.78は御話し致せば「あのぴちょぴちゅLv.90は染み込み易い」ということは成り立つ fact4: このぷにゅぷのLv.78が地下深いとするとこのぷにゅぷのLv.78は執念深い fact5: このぷにゅぷのLv.78が変身出来るとしたら地下深い fact6: もしもなにがしかのモンスターが変身出来ないとしたら染み込み易いし更にそれは強くない fact7: このぷにゅぷのLv.78が執念深いとするとこのぷにゅぷのLv.78は御話し致す
fact1 -> int1: このぷにゅぷのLv.78は変身出来る; int1 & fact5 -> int2: このぷにゅぷのLv.78は地下深い; int2 & fact4 -> int3: このぷにゅぷのLv.78は執念深い; int3 & fact7 -> int4: このぷにゅぷのLv.78は御話し致す; int4 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{a}; int3 & fact7 -> int4: {E}{a}; int4 & fact3 -> hypothesis;
あのぴちょぴちゅLv.90は染み込み易くない
fact8 -> int5: もしこのぷにゅぷのLv.78が変身出来ないとすればこのぷにゅぷのLv.78は染み込み易いけれど強くない;
$facts$ = fact1: このぷにゅぷのLv.78は強いということはないモンスターであって変身出来る fact2: あのぴちょぴちゅLv.90は強い fact3: もしもこのぷにゅぷのLv.78は御話し致せば「あのぴちょぴちゅLv.90は染み込み易い」ということは成り立つ fact4: このぷにゅぷのLv.78が地下深いとするとこのぷにゅぷのLv.78は執念深い fact5: このぷにゅぷのLv.78が変身出来るとしたら地下深い fact6: もしもなにがしかのモンスターが変身出来ないとしたら染み込み易いし更にそれは強くない fact7: このぷにゅぷのLv.78が執念深いとするとこのぷにゅぷのLv.78は御話し致す ; $hypothesis$ = あのぴちょぴちゅLv.90は染み込み易い ; $proof$ = 
fact1 -> int1: このぷにゅぷのLv.78は変身出来る; int1 & fact5 -> int2: このぷにゅぷのLv.78は地下深い; int2 & fact4 -> int3: このぷにゅぷのLv.78は執念深い; int3 & fact7 -> int4: このぷにゅぷのLv.78は御話し致す; int4 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{a}; int3 & fact7 -> int4: {E}{a}; int4 & fact3 -> hypothesis; __PROVED__