そのぴにょぴわLv.85は素晴らしくない
fact1: そのぴにょぴわLv.85は尊敬する fact2: 「そのみにみゆLv.13が働き難いとしたらそのみにみゆLv.13は誇らしい」ということは本当である fact3: そのみにみゆLv.13は働き難いし更にそれは留置する fact4: なんらかのモンスターが結了すれば見られ易い fact5: もし仮にそのみにみゆLv.13が誇らしいとしたらそれは区別し易い fact6: 「あのみいみちゅLv.81は尊敬する」ということは事実ならそのぴにょぴわLv.85は素晴らしい fact7: そのみにみゆLv.13が区別し易いならばあのみいみちゅLv.81は尊敬する
fact3 -> int1: そのみにみゆLv.13は働き難い; int1 & fact2 -> int2: そのみにみゆLv.13は誇らしい; int2 & fact5 -> int3: そのみにみゆLv.13は区別し易い; int3 & fact7 -> int4: あのみいみちゅLv.81は尊敬する; int4 & fact6 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact5 -> int3: {D}{a}; int3 & fact7 -> int4: {E}{b}; int4 & fact6 -> hypothesis;
もしもそのみにみゆLv.13が結了するならそれは見られ易い
fact8 -> hypothesis;
$facts$ = fact1: そのぴにょぴわLv.85は尊敬する fact2: 「そのみにみゆLv.13が働き難いとしたらそのみにみゆLv.13は誇らしい」ということは本当である fact3: そのみにみゆLv.13は働き難いし更にそれは留置する fact4: なんらかのモンスターが結了すれば見られ易い fact5: もし仮にそのみにみゆLv.13が誇らしいとしたらそれは区別し易い fact6: 「あのみいみちゅLv.81は尊敬する」ということは事実ならそのぴにょぴわLv.85は素晴らしい fact7: そのみにみゆLv.13が区別し易いならばあのみいみちゅLv.81は尊敬する ; $hypothesis$ = そのぴにょぴわLv.85は素晴らしくない ; $proof$ = 
fact3 -> int1: そのみにみゆLv.13は働き難い; int1 & fact2 -> int2: そのみにみゆLv.13は誇らしい; int2 & fact5 -> int3: そのみにみゆLv.13は区別し易い; int3 & fact7 -> int4: あのみいみちゅLv.81は尊敬する; int4 & fact6 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact5 -> int3: {D}{a}; int3 & fact7 -> int4: {E}{b}; int4 & fact6 -> hypothesis; __DISPROVED__