このみにみのLv.59は用い易い
fact1: 「このみにみのLv.59は痛ーい」ということは事実である fact2: もし仮にあのみわみわLv.9が用い易いとするとこのみにみのLv.59は用い易い fact3: このみにみのLv.59が痛ーいしかつそれがか弱いとしたらそれは用い易くない fact4: 気恥ずかしいということはないモンスターはか弱くておまけに痛ーい fact5: もしこのみにみのLv.59が気恥ずかしいとしたらそのみいみにょLv.78は用い易い fact6: 仮に「なにがしかのモンスターは呆気なくないが気恥ずかしい」ということは事実でないとすれば「それは気恥ずかしくない」ということは正しい fact7: このみにみのLv.59はか弱い fact8: 「仮に「このぷのぷちょLv.0は痛ーい」ということは真実であるとするとあのみわみわLv.9は痛ーい」ということは成り立つ
fact1 & fact7 -> int1: このみにみのLv.59は痛ーいし加えてか弱い; int1 & fact3 -> hypothesis;
fact1 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> hypothesis;
このみにみのLv.59は用い易い
fact11 -> int2: もしこのぷのぷちょLv.0が気恥ずかしくないとしたらか弱くて痛ーい; fact9 -> int3: 「このぷのぷちょLv.0は呆気ないということはないがしかしそれは気恥ずかしい」ということは偽であるならこのぷのぷちょLv.0は気恥ずかしくない;
$facts$ = fact1: 「このみにみのLv.59は痛ーい」ということは事実である fact2: もし仮にあのみわみわLv.9が用い易いとするとこのみにみのLv.59は用い易い fact3: このみにみのLv.59が痛ーいしかつそれがか弱いとしたらそれは用い易くない fact4: 気恥ずかしいということはないモンスターはか弱くておまけに痛ーい fact5: もしこのみにみのLv.59が気恥ずかしいとしたらそのみいみにょLv.78は用い易い fact6: 仮に「なにがしかのモンスターは呆気なくないが気恥ずかしい」ということは事実でないとすれば「それは気恥ずかしくない」ということは正しい fact7: このみにみのLv.59はか弱い fact8: 「仮に「このぷのぷちょLv.0は痛ーい」ということは真実であるとするとあのみわみわLv.9は痛ーい」ということは成り立つ ; $hypothesis$ = このみにみのLv.59は用い易い ; $proof$ = 
fact1 & fact7 -> int1: このみにみのLv.59は痛ーいし加えてか弱い; int1 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> hypothesis; __DISPROVED__