「そのぴくぴいLv.90は豹変するということはなくて更に研究出来ない」ということは誤っている
fact1: もし仮にそのぷやぷえLv.35が結合し易いならば揮発し易い fact2: もし仮になんらかのモンスターはちっこくないとすると「それは豹変しないしさらにそれは研究出来るということはない」ということは成り立たない fact3: 「もしも「揮発し易い」モンスターがいるとしたらそのぴくぴいLv.90は豹変するということはないしそれは研究出来ない」ということは確かだ fact4: そのもわもえLv.14はちっこいかあるいは男らしいかまたは両方だ fact5: 男らしいモンスターはちっこくないけど御創設する fact6: 仮にこのもにもゆLv.45が御創設するとするとそのぷやぷえLv.35は結合し易い fact7: 仮にそのもわもえLv.14が男らしいならこのもにもゆLv.45は御創設する fact8: もしもそのもわもえLv.14がちっこいとすればこのもにもゆLv.45は御創設する fact9: もし仮にそのもわもえLv.14がちっこくない一方でそれが御創設するならそのぴくぴいLv.90はちっこくない
fact4 & fact8 & fact7 -> int1: このもにもゆLv.45は御創設する; int1 & fact6 -> int2: そのぷやぷえLv.35は結合し易い; int2 & fact1 -> int3: そのぷやぷえLv.35は揮発し易い; int3 -> int4: 「揮発し易い」モンスターはいる; int4 & fact3 -> hypothesis;
fact4 & fact8 & fact7 -> int1: {C}{c}; int1 & fact6 -> int2: {D}{b}; int2 & fact1 -> int3: {E}{b}; int3 -> int4: (Ex): {E}x; int4 & fact3 -> hypothesis;
「そのぴくぴいLv.90は豹変するということはなくて更に研究出来ない」ということは誤っている
fact11 -> int5: もし仮にそのぴくぴいLv.90はちっこくないなら「豹変しないし研究出来ない」ということは成り立つということはない; fact10 -> int6: もし仮にそのもわもえLv.14が男らしいとすればそのもわもえLv.14はちっこくないが御創設する;
$facts$ = fact1: もし仮にそのぷやぷえLv.35が結合し易いならば揮発し易い fact2: もし仮になんらかのモンスターはちっこくないとすると「それは豹変しないしさらにそれは研究出来るということはない」ということは成り立たない fact3: 「もしも「揮発し易い」モンスターがいるとしたらそのぴくぴいLv.90は豹変するということはないしそれは研究出来ない」ということは確かだ fact4: そのもわもえLv.14はちっこいかあるいは男らしいかまたは両方だ fact5: 男らしいモンスターはちっこくないけど御創設する fact6: 仮にこのもにもゆLv.45が御創設するとするとそのぷやぷえLv.35は結合し易い fact7: 仮にそのもわもえLv.14が男らしいならこのもにもゆLv.45は御創設する fact8: もしもそのもわもえLv.14がちっこいとすればこのもにもゆLv.45は御創設する fact9: もし仮にそのもわもえLv.14がちっこくない一方でそれが御創設するならそのぴくぴいLv.90はちっこくない ; $hypothesis$ = 「そのぴくぴいLv.90は豹変するということはなくて更に研究出来ない」ということは誤っている ; $proof$ = 
fact4 & fact8 & fact7 -> int1: このもにもゆLv.45は御創設する; int1 & fact6 -> int2: そのぷやぷえLv.35は結合し易い; int2 & fact1 -> int3: そのぷやぷえLv.35は揮発し易い; int3 -> int4: 「揮発し易い」モンスターはいる; int4 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact8 & fact7 -> int1: {C}{c}; int1 & fact6 -> int2: {D}{b}; int2 & fact1 -> int3: {E}{b}; int3 -> int4: (Ex): {E}x; int4 & fact3 -> hypothesis; __DISPROVED__