このもにゃもよLv.59は詠唱しない
fact1: もし仮にこのもにゃもよLv.59が冷や冷やするとすると済ま無い fact2: もし「このもにゃもよLv.59は済ま無い」ということは真実であるとしたらそれは薄っぺらい fact3: このもにゃもよLv.59は冷や冷やする fact4: 仮に「このもにゃもよLv.59は薄っぺらい」ということは正しいならばこのもにゃもよLv.59は詠唱する
fact1 & fact3 -> int1: このもにゃもよLv.59は済ま無い; int1 & fact2 -> int2: このもにゃもよLv.59は薄っぺらい; int2 & fact4 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
$facts$ = fact1: もし仮にこのもにゃもよLv.59が冷や冷やするとすると済ま無い fact2: もし「このもにゃもよLv.59は済ま無い」ということは真実であるとしたらそれは薄っぺらい fact3: このもにゃもよLv.59は冷や冷やする fact4: 仮に「このもにゃもよLv.59は薄っぺらい」ということは正しいならばこのもにゃもよLv.59は詠唱する ; $hypothesis$ = このもにゃもよLv.59は詠唱しない ; $proof$ = 
fact1 & fact3 -> int1: このもにゃもよLv.59は済ま無い; int1 & fact2 -> int2: このもにゃもよLv.59は薄っぺらい; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __DISPROVED__