あのぽちゅぽなLv.6は運び易い
fact1: もしもあのぽちゅぽなLv.6が間近いとするとそれはブラバスらしい fact2: もしもあのぽちゅぽなLv.6はブラバスらしいなら「運び易い」ということは正しい fact3: もし仮にこのぽのぽなLv.91が戯れ付くとしたらあのぽちゅぽなLv.6は間近い fact4: あのぷいぷにょLv.6は利用し易いしまた吐き出す fact5: あのぷいぷにょLv.6が吐き出すとすればこのぽのぽなLv.91は戯れ付く fact6: あのぷいぷにょLv.6は利用し易い
fact4 -> int1: あのぷいぷにょLv.6は吐き出す; int1 & fact5 -> int2: このぽのぽなLv.91は戯れ付く; int2 & fact3 -> int3: あのぽちゅぽなLv.6は間近い; int3 & fact1 -> int4: あのぽちゅぽなLv.6はブラバスらしい; int4 & fact2 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; int3 & fact1 -> int4: {E}{c}; int4 & fact2 -> hypothesis;
$facts$ = fact1: もしもあのぽちゅぽなLv.6が間近いとするとそれはブラバスらしい fact2: もしもあのぽちゅぽなLv.6はブラバスらしいなら「運び易い」ということは正しい fact3: もし仮にこのぽのぽなLv.91が戯れ付くとしたらあのぽちゅぽなLv.6は間近い fact4: あのぷいぷにょLv.6は利用し易いしまた吐き出す fact5: あのぷいぷにょLv.6が吐き出すとすればこのぽのぽなLv.91は戯れ付く fact6: あのぷいぷにょLv.6は利用し易い ; $hypothesis$ = あのぽちゅぽなLv.6は運び易い ; $proof$ = 
fact4 -> int1: あのぷいぷにょLv.6は吐き出す; int1 & fact5 -> int2: このぽのぽなLv.91は戯れ付く; int2 & fact3 -> int3: あのぽちゅぽなLv.6は間近い; int3 & fact1 -> int4: あのぽちゅぽなLv.6はブラバスらしい; int4 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; int3 & fact1 -> int4: {E}{c}; int4 & fact2 -> hypothesis; __PROVED__