あのものもにLv.73は静止するしまた剃り落とす
fact1: 「このもにゃもにLv.86は静止するし更に弱々しい」ということは真実である fact2: あのものもにLv.73は新調する fact3: 何らかのモンスターが新調するとすると剃り落とす fact4: あのものもにLv.73はごついしかつ得難い fact5: あのものもにLv.73は成り兼ねる fact6: 入れ易いモンスターは尽くし難い fact7: もしもとあるモンスターがすっごいとしたら少なし fact8: あのものもにLv.73は静止する
fact3 -> int1: 仮にあのものもにLv.73が新調するとするとあのものもにLv.73は剃り落とす; int1 & fact2 -> int2: あのものもにLv.73は剃り落とす; int2 & fact8 -> hypothesis;
fact3 -> int1: {A}{aa} -> {C}{aa}; int1 & fact2 -> int2: {C}{aa}; int2 & fact8 -> hypothesis;
このまいまのLv.78は新調する
fact9 -> int3: このもにゃもにLv.86は静止する; int3 -> int4: 「静止する」モンスターはいる;
$facts$ = fact1: 「このもにゃもにLv.86は静止するし更に弱々しい」ということは真実である fact2: あのものもにLv.73は新調する fact3: 何らかのモンスターが新調するとすると剃り落とす fact4: あのものもにLv.73はごついしかつ得難い fact5: あのものもにLv.73は成り兼ねる fact6: 入れ易いモンスターは尽くし難い fact7: もしもとあるモンスターがすっごいとしたら少なし fact8: あのものもにLv.73は静止する ; $hypothesis$ = あのものもにLv.73は静止するしまた剃り落とす ; $proof$ = 
fact3 -> int1: 仮にあのものもにLv.73が新調するとするとあのものもにLv.73は剃り落とす; int1 & fact2 -> int2: あのものもにLv.73は剃り落とす; int2 & fact8 -> hypothesis; __PROVED__
fact3 -> int1: {A}{aa} -> {C}{aa}; int1 & fact2 -> int2: {C}{aa}; int2 & fact8 -> hypothesis; __PROVED__