このみにゅみわLv.94は伝い落ちる
fact1: 賢しモンスターは引き立つ fact2: すべてのモンスターは伝い落ちる fact3: もしあるモンスターが私らしいとするとそれは賢し fact4: 全てのモンスターは動揺し易い fact5: なんらかのモンスターが引き立つとすればそれは伝い落ちる
fact2 -> int1: すべてのモンスターは伝い落ちる; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
そのぷにょぷくLv.78は伝い落ちる
fact7 -> int2: 仮に「そのぷにょぷくLv.78は引き立つ」ということは確かであるならばそのぷにょぷくLv.78は伝い落ちる; fact6 -> int3: もし仮に「そのぷにょぷくLv.78は賢し」ということは本当だとするとそのぷにょぷくLv.78は引き立つ; fact8 -> int4: もしも「そのぷにょぷくLv.78は私らしい」ということは正しいならばそれは賢し;
$facts$ = fact1: 賢しモンスターは引き立つ fact2: すべてのモンスターは伝い落ちる fact3: もしあるモンスターが私らしいとするとそれは賢し fact4: 全てのモンスターは動揺し易い fact5: なんらかのモンスターが引き立つとすればそれは伝い落ちる ; $hypothesis$ = このみにゅみわLv.94は伝い落ちる ; $proof$ = 
fact2 -> int1: すべてのモンスターは伝い落ちる; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__