「このみやみえLv.90は仕上がらないがしかし堪え切れる」ということは真実である
fact1: 「なんらかのモンスターは停電する」ということは事実であるとすれば「このみやみえLv.90は仕上がらないけれど堪え切れる」ということは間違いだ fact2: すべてのモンスターは取れ易いしまた停電する fact3: このみやみえLv.90は強し fact4: もしもあのぴなぴよLv.34が取れ易くないとしたらこのみやみえLv.90は仕上がらないがそれは堪え切れる
fact2 -> int1: あのぴなぴよLv.34は取れ易くて更にそれは停電する; int1 -> int2: あのぴなぴよLv.34は停電する; int2 -> int3: 「停電する」モンスターはいる; int3 & fact1 -> hypothesis;
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 -> int3: (Ex): {B}x; int3 & fact1 -> hypothesis;
「このみやみえLv.90は仕上がらないがしかし堪え切れる」ということは真実である
$facts$ = fact1: 「なんらかのモンスターは停電する」ということは事実であるとすれば「このみやみえLv.90は仕上がらないけれど堪え切れる」ということは間違いだ fact2: すべてのモンスターは取れ易いしまた停電する fact3: このみやみえLv.90は強し fact4: もしもあのぴなぴよLv.34が取れ易くないとしたらこのみやみえLv.90は仕上がらないがそれは堪え切れる ; $hypothesis$ = 「このみやみえLv.90は仕上がらないがしかし堪え切れる」ということは真実である ; $proof$ = 
fact2 -> int1: あのぴなぴよLv.34は取れ易くて更にそれは停電する; int1 -> int2: あのぴなぴよLv.34は停電する; int2 -> int3: 「停電する」モンスターはいる; int3 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 -> int3: (Ex): {B}x; int3 & fact1 -> hypothesis; __DISPROVED__