そのもゆもにょLv.67は迷い難くない
fact1: そのもゆもにょLv.67は生々しい fact2: もし仮にそのもゆもにょLv.67が快いしそれが悪戯っぽいならそのもゆもにょLv.67は迷い難いということはない fact3: もしそのもゆもにょLv.67が生々しいとすればそのもゆもにょLv.67は悪戯っぽい fact4: 悪戯っぽいモンスターは一定する fact5: 「そのもゆもにょLv.67は規制する」ということは本当だ fact6: そのぴよぴいLv.34は悪戯っぽい fact7: 仮にそのもゆもにょLv.67が忘れっぽいなら悪戯っぽい fact8: このもゆもわLv.72は快くない fact9: そのもゆもにょLv.67は快い
fact3 & fact1 -> int1: そのもゆもにょLv.67は悪戯っぽい; int1 & fact9 -> int2: そのもゆもにょLv.67は快いししかも悪戯っぽい; int2 & fact2 -> hypothesis;
fact3 & fact1 -> int1: {B}{a}; int1 & fact9 -> int2: ({C}{a} & {B}{a}); int2 & fact2 -> hypothesis;
もしあのぷえぷにゅLv.51が悪戯っぽいとすれば一定する
fact10 -> hypothesis;
$facts$ = fact1: そのもゆもにょLv.67は生々しい fact2: もし仮にそのもゆもにょLv.67が快いしそれが悪戯っぽいならそのもゆもにょLv.67は迷い難いということはない fact3: もしそのもゆもにょLv.67が生々しいとすればそのもゆもにょLv.67は悪戯っぽい fact4: 悪戯っぽいモンスターは一定する fact5: 「そのもゆもにょLv.67は規制する」ということは本当だ fact6: そのぴよぴいLv.34は悪戯っぽい fact7: 仮にそのもゆもにょLv.67が忘れっぽいなら悪戯っぽい fact8: このもゆもわLv.72は快くない fact9: そのもゆもにょLv.67は快い ; $hypothesis$ = そのもゆもにょLv.67は迷い難くない ; $proof$ = 
fact3 & fact1 -> int1: そのもゆもにょLv.67は悪戯っぽい; int1 & fact9 -> int2: そのもゆもにょLv.67は快いししかも悪戯っぽい; int2 & fact2 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}{a}; int1 & fact9 -> int2: ({C}{a} & {B}{a}); int2 & fact2 -> hypothesis; __PROVED__