「「もしも頼もしくないとしたら当たり難くない」モンスターはいる」ということは誤っている
fact1: 頼もしくないモンスターは当たり難くない fact2: 「すーごいとしたら程遠いということはない」モンスターはいる fact3: もし仮にあるモンスターが新しいならそれはクロスするということはない fact4: すごーくないモンスターは用い易い fact5: 仮になにがしかのモンスターが心安くないとすれば太り難い
fact1 -> int1: もし仮にこのぴにゅぴゆLv.4が頼もしくないならばそれは当たり難くない; int1 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
$facts$ = fact1: 頼もしくないモンスターは当たり難くない fact2: 「すーごいとしたら程遠いということはない」モンスターはいる fact3: もし仮にあるモンスターが新しいならそれはクロスするということはない fact4: すごーくないモンスターは用い易い fact5: 仮になにがしかのモンスターが心安くないとすれば太り難い ; $hypothesis$ = 「「もしも頼もしくないとしたら当たり難くない」モンスターはいる」ということは誤っている ; $proof$ = 
fact1 -> int1: もし仮にこのぴにゅぴゆLv.4が頼もしくないならばそれは当たり難くない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 -> hypothesis; __DISPROVED__