このぴよぴねLv.94は変わり行く
fact1: あるモンスターは染み込み易いということはないならば「濃くないしそれは御高くない」ということは誤りだ fact2: 仮にあのぴくぴなLv.68が変わり行くということはないならこのぴよぴねLv.94は変わり行かない fact3: 仮に「あるモンスターが判読するしその上それはブレイクダウンする」ということは成り立たないとすると染み込み易くない fact4: もし「とあるモンスターは濃くないしさらに御高くない」ということは間違っているとしたらそれは変わり行かない fact5: 全てのモンスターは変わり行く
fact5 -> int1: 全てのモンスターは変わり行く; int1 -> hypothesis;
fact5 -> int1: (x): {A}x; int1 -> hypothesis;
このぴよぴねLv.94は変わり行くということはない
fact8 -> int2: 「あのぴくぴなLv.68は濃くないしおまけに御高いということはない」ということは誤っているならあのぴくぴなLv.68は変わり行かない; fact6 -> int3: 仮にあのぴくぴなLv.68は染み込み易くないとしたら「それは濃くなくてその上御高いということはない」ということは成り立つということはない; fact7 -> int4: もしも「あのぴくぴなLv.68は判読するしまたブレイクダウンする」ということは誤りならばそれは染み込み易くない;
$facts$ = fact1: あるモンスターは染み込み易いということはないならば「濃くないしそれは御高くない」ということは誤りだ fact2: 仮にあのぴくぴなLv.68が変わり行くということはないならこのぴよぴねLv.94は変わり行かない fact3: 仮に「あるモンスターが判読するしその上それはブレイクダウンする」ということは成り立たないとすると染み込み易くない fact4: もし「とあるモンスターは濃くないしさらに御高くない」ということは間違っているとしたらそれは変わり行かない fact5: 全てのモンスターは変わり行く ; $hypothesis$ = このぴよぴねLv.94は変わり行く ; $proof$ = 
fact5 -> int1: 全てのモンスターは変わり行く; int1 -> hypothesis; __PROVED__
fact5 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__