そのもやもちゃLv.65は蓄積され易い
fact1: 「このぷいぷにゃLv.69は買い付けないけれど恥ずかしい」ということは成り立たない fact2: もし仮にそのぷにゅぷゆLv.48が運転し易いとするとそのもやもちゃLv.65は蓄積され易い fact3: もし「このぷいぷにゃLv.69は買い付けないけれど恥ずかしい」ということは成り立たないとするとこのぷいぷにゃLv.69は娘らしい fact4: もし仮にあのもにゅもわLv.22が娘らしいとするとそれは低い fact5: もし仮にこのぷいぷにゃLv.69が娘らしいならあのもにゅもわLv.22は低い fact6: もし仮にあのもにゅもわLv.22が生々しいとするとそのぷにゅぷゆLv.48は運転し易い fact7: もしもあのもにゅもわLv.22が低いならばあのもにゅもわLv.22は生々しい fact8: 低いモンスターは蓄積され易くない
fact3 & fact1 -> int1: このぷいぷにゃLv.69は娘らしい; int1 & fact5 -> int2: あのもにゅもわLv.22は低い; int2 & fact7 -> int3: あのもにゅもわLv.22は生々しい; int3 & fact6 -> int4: そのぷにゅぷゆLv.48は運転し易い; int4 & fact2 -> hypothesis;
fact3 & fact1 -> int1: {B}{a}; int1 & fact5 -> int2: {A}{b}; int2 & fact7 -> int3: {C}{b}; int3 & fact6 -> int4: {D}{c}; int4 & fact2 -> hypothesis;
そのもやもちゃLv.65は蓄積され易くない
fact9 -> int5: そのもやもちゃLv.65が低いとすればそのもやもちゃLv.65は蓄積され易くない;
$facts$ = fact1: 「このぷいぷにゃLv.69は買い付けないけれど恥ずかしい」ということは成り立たない fact2: もし仮にそのぷにゅぷゆLv.48が運転し易いとするとそのもやもちゃLv.65は蓄積され易い fact3: もし「このぷいぷにゃLv.69は買い付けないけれど恥ずかしい」ということは成り立たないとするとこのぷいぷにゃLv.69は娘らしい fact4: もし仮にあのもにゅもわLv.22が娘らしいとするとそれは低い fact5: もし仮にこのぷいぷにゃLv.69が娘らしいならあのもにゅもわLv.22は低い fact6: もし仮にあのもにゅもわLv.22が生々しいとするとそのぷにゅぷゆLv.48は運転し易い fact7: もしもあのもにゅもわLv.22が低いならばあのもにゅもわLv.22は生々しい fact8: 低いモンスターは蓄積され易くない ; $hypothesis$ = そのもやもちゃLv.65は蓄積され易い ; $proof$ = 
fact3 & fact1 -> int1: このぷいぷにゃLv.69は娘らしい; int1 & fact5 -> int2: あのもにゅもわLv.22は低い; int2 & fact7 -> int3: あのもにゅもわLv.22は生々しい; int3 & fact6 -> int4: そのぷにゅぷゆLv.48は運転し易い; int4 & fact2 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}{a}; int1 & fact5 -> int2: {A}{b}; int2 & fact7 -> int3: {C}{b}; int3 & fact6 -> int4: {D}{c}; int4 & fact2 -> hypothesis; __PROVED__