あのみねみなLv.64は彼らしくないかあるいはそれは伴い易いかあるいはどちらもである
fact1: 仮にあのみねみなLv.64が崩れ易いとすればあのみねみなLv.64は彼らしくないかまたは伴い易いかもしくは両方ともである fact2: あのみねみなLv.64は忍ばせる fact3: このもなもなLv.39は追認するということはないか彼らしい fact4: もしこのもなもなLv.39が忍ばせるならこのもなもなLv.39は伴い易くないかもしくはそれは崩れ易いかまたは両方ともだ fact5: もし仮にこのもなもなLv.39が忍ばせればあのみねみなLv.64は崩れ易い fact6: もしとあるモンスターが忍ばせないとすれば彼らしいしかつ古い fact7: このもなもなLv.39は古いししかも忍ばせる fact8: もしもあのみねみなLv.64が崩れ易いとすればあのみねみなLv.64は彼らしいかもしくはそれは伴い易い
fact7 -> int1: このもなもなLv.39は忍ばせる; int1 & fact5 -> int2: あのみねみなLv.64は崩れ易い; int2 & fact1 -> hypothesis;
fact7 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
このまねまわLv.98は彼らしい
fact9 -> int3: このまねまわLv.98は忍ばせるということはないとすると「彼らしいしかつそれは古い」ということは誤っていない;
$facts$ = fact1: 仮にあのみねみなLv.64が崩れ易いとすればあのみねみなLv.64は彼らしくないかまたは伴い易いかもしくは両方ともである fact2: あのみねみなLv.64は忍ばせる fact3: このもなもなLv.39は追認するということはないか彼らしい fact4: もしこのもなもなLv.39が忍ばせるならこのもなもなLv.39は伴い易くないかもしくはそれは崩れ易いかまたは両方ともだ fact5: もし仮にこのもなもなLv.39が忍ばせればあのみねみなLv.64は崩れ易い fact6: もしとあるモンスターが忍ばせないとすれば彼らしいしかつ古い fact7: このもなもなLv.39は古いししかも忍ばせる fact8: もしもあのみねみなLv.64が崩れ易いとすればあのみねみなLv.64は彼らしいかもしくはそれは伴い易い ; $hypothesis$ = あのみねみなLv.64は彼らしくないかあるいはそれは伴い易いかあるいはどちらもである ; $proof$ = 
fact7 -> int1: このもなもなLv.39は忍ばせる; int1 & fact5 -> int2: あのみねみなLv.64は崩れ易い; int2 & fact1 -> hypothesis; __PROVED__
fact7 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __PROVED__