そのぷにぷくLv.25は手っ取り早い
fact1: 戻し易くないモンスターは迷い難い fact2: 仮に「このもくもにLv.7は迷い難い」ということは正しいとするとそれはつれなくない fact3: そのぷにぷくLv.25が寄る辺無いか細長くないとすればそのぷにぷくLv.25は手っ取り早い fact4: もし仮にこのもくもにLv.7が寄る辺無くないならそのぷにぷくLv.25はつれないか戻し易いかあるいは両方ともである fact5: もしもそのぷにぷくLv.25が迷い難いとしたらそのぷにぷくLv.25は細長くない fact6: もしもこのもくもにLv.7がつれなくないとしたらそのぷにぷくLv.25は寄る辺無いかそれは細長くないかもしくはどちらもだ fact7: このもくもにLv.7は戻し易くない fact8: そのぷにぷくLv.25は薬臭い
fact1 -> int1: もしもこのもくもにLv.7が戻し易くないとすればこのもくもにLv.7は迷い難い; int1 & fact7 -> int2: このもくもにLv.7は迷い難い; int2 & fact2 -> int3: このもくもにLv.7はつれなくない; int3 & fact6 -> int4: そのぷにぷくLv.25は寄る辺無いかそれは細長くないかどちらもである; int4 & fact3 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact7 -> int2: {C}{aa}; int2 & fact2 -> int3: ¬{A}{aa}; int3 & fact6 -> int4: ({E}{a} v ¬{D}{a}); int4 & fact3 -> hypothesis;
$facts$ = fact1: 戻し易くないモンスターは迷い難い fact2: 仮に「このもくもにLv.7は迷い難い」ということは正しいとするとそれはつれなくない fact3: そのぷにぷくLv.25が寄る辺無いか細長くないとすればそのぷにぷくLv.25は手っ取り早い fact4: もし仮にこのもくもにLv.7が寄る辺無くないならそのぷにぷくLv.25はつれないか戻し易いかあるいは両方ともである fact5: もしもそのぷにぷくLv.25が迷い難いとしたらそのぷにぷくLv.25は細長くない fact6: もしもこのもくもにLv.7がつれなくないとしたらそのぷにぷくLv.25は寄る辺無いかそれは細長くないかもしくはどちらもだ fact7: このもくもにLv.7は戻し易くない fact8: そのぷにぷくLv.25は薬臭い ; $hypothesis$ = そのぷにぷくLv.25は手っ取り早い ; $proof$ = 
fact1 -> int1: もしもこのもくもにLv.7が戻し易くないとすればこのもくもにLv.7は迷い難い; int1 & fact7 -> int2: このもくもにLv.7は迷い難い; int2 & fact2 -> int3: このもくもにLv.7はつれなくない; int3 & fact6 -> int4: そのぷにぷくLv.25は寄る辺無いかそれは細長くないかどちらもである; int4 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact7 -> int2: {C}{aa}; int2 & fact2 -> int3: ¬{A}{aa}; int3 & fact6 -> int4: ({E}{a} v ¬{D}{a}); int4 & fact3 -> hypothesis; __PROVED__