「「仕舞い易いかまたは期し難い」モンスターはいる」ということは成り立つということはない
fact1: もし「このもにゃもにLv.82は舞う」ということは本当であるとするとあのぷちょぷえLv.28は舞う fact2: もし仮になんらかのモンスターが期し難いとすればそれは際どい fact3: このぴのぴにゅLv.45が際どいならこのもにゃもにLv.82は詳しい fact4: このもにゃもにLv.82は際どい fact5: このぽのぽなLv.51は淡いかもしくは際どいかまたは両方ともだ fact6: このもにゃもにLv.82は際どいし期し難い
fact6 -> int1: このもにゃもにLv.82は期し難い; int1 -> int2: このもにゃもにLv.82は仕舞い易いかあるいはそれは期し難いかまたはどちらもだ; int2 -> hypothesis;
fact6 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 -> hypothesis;
男らしいかまたは詳しいかあるいはどちらもなモンスターはいる
fact8 -> int3: もしこのぴのぴにゅLv.45が期し難いとしたらそれは際どい;
$facts$ = fact1: もし「このもにゃもにLv.82は舞う」ということは本当であるとするとあのぷちょぷえLv.28は舞う fact2: もし仮になんらかのモンスターが期し難いとすればそれは際どい fact3: このぴのぴにゅLv.45が際どいならこのもにゃもにLv.82は詳しい fact4: このもにゃもにLv.82は際どい fact5: このぽのぽなLv.51は淡いかもしくは際どいかまたは両方ともだ fact6: このもにゃもにLv.82は際どいし期し難い ; $hypothesis$ = 「「仕舞い易いかまたは期し難い」モンスターはいる」ということは成り立つということはない ; $proof$ = 
fact6 -> int1: このもにゃもにLv.82は期し難い; int1 -> int2: このもにゃもにLv.82は仕舞い易いかあるいはそれは期し難いかまたはどちらもだ; int2 -> hypothesis; __DISPROVED__
fact6 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 -> hypothesis; __DISPROVED__