そのみよみねLv.89は乗り難い
fact1: もし仮にそのみよみねLv.89が乗り難いとすればそれは憂い fact2: もし何らかのモンスターは如何わしくないならば「憂くないけど賢しい」ということは成り立たない fact3: もし仮にそのみよみねLv.89は如何わしいとすれば「それは乗り難い」ということは真実である fact4: そのみよみねLv.89は憂い fact5: そのまやまのLv.48は乗り難い fact6: そのみよみねLv.89は叩き切る fact7: このもいもねLv.53は憂くてそれは賢しい fact8: このもいもねLv.53が賢しいとするとそのみよみねLv.89は如何わしい
fact7 -> int1: このもいもねLv.53は賢しい; int1 & fact8 -> int2: 「そのみよみねLv.89は如何わしい」ということは成り立つ; int2 & fact3 -> hypothesis;
fact7 -> int1: {B}{a}; int1 & fact8 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
「そのみよみねLv.89は乗り難くない」ということは本当である
fact9 -> int3: もし仮にそのみよみねLv.89は如何わしくないとすれば「憂くないけど賢しい」ということは間違いだ;
$facts$ = fact1: もし仮にそのみよみねLv.89が乗り難いとすればそれは憂い fact2: もし何らかのモンスターは如何わしくないならば「憂くないけど賢しい」ということは成り立たない fact3: もし仮にそのみよみねLv.89は如何わしいとすれば「それは乗り難い」ということは真実である fact4: そのみよみねLv.89は憂い fact5: そのまやまのLv.48は乗り難い fact6: そのみよみねLv.89は叩き切る fact7: このもいもねLv.53は憂くてそれは賢しい fact8: このもいもねLv.53が賢しいとするとそのみよみねLv.89は如何わしい ; $hypothesis$ = そのみよみねLv.89は乗り難い ; $proof$ = 
fact7 -> int1: このもいもねLv.53は賢しい; int1 & fact8 -> int2: 「そのみよみねLv.89は如何わしい」ということは成り立つ; int2 & fact3 -> hypothesis; __PROVED__
fact7 -> int1: {B}{a}; int1 & fact8 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __PROVED__