「このもゆものLv.64は久しない」ということは確かだ
fact1: もしもあのもやもゆLv.40が対陣するならそのみよみえLv.20は捕らえ易くない fact2: 集め易くないモンスターは遠いしおまけに対陣する fact3: もし「このもにゃもねLv.83は間断無くなくて更に集め易くない」ということは成り立たないとするとあのもやもゆLv.40は集め易くない fact4: 全てのモンスターは久し fact5: 仮にそのぽにぽわLv.91は想像し易くないとすると「このもにゃもねLv.83は間断無くなくて集め易くない」ということは偽だ
fact4 -> int1: 全てのモンスターは久し; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
「このもゆものLv.64は久しない」ということは確かだ
fact9 -> int2: あのもやもゆLv.40が集め易くないならば遠いしそれは対陣する;
$facts$ = fact1: もしもあのもやもゆLv.40が対陣するならそのみよみえLv.20は捕らえ易くない fact2: 集め易くないモンスターは遠いしおまけに対陣する fact3: もし「このもにゃもねLv.83は間断無くなくて更に集め易くない」ということは成り立たないとするとあのもやもゆLv.40は集め易くない fact4: 全てのモンスターは久し fact5: 仮にそのぽにぽわLv.91は想像し易くないとすると「このもにゃもねLv.83は間断無くなくて集め易くない」ということは偽だ ; $hypothesis$ = 「このもゆものLv.64は久しない」ということは確かだ ; $proof$ = 
fact4 -> int1: 全てのモンスターは久し; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__