「「「疲れ易くないかもしくは強いるか両方ともである」ということは真実でない」モンスターはいる」ということは成り立つということはない
fact1: 仮にそのみやみえLv.37はめでたいなら「そのもなもにゅLv.37は疲れ易くないかもしくは強いる」ということは成り立たない fact2: もし仮にそのぽちゅぽえLv.94が燥ぎ回るとするとそのみやみえLv.37はめでたい fact3: そのぽちゅぽえLv.94は燥ぎ回る
fact2 & fact3 -> int1: そのみやみえLv.37はめでたい; int1 & fact1 -> int2: 「そのもなもにゅLv.37は疲れ易くないかあるいはそれは強いるかあるいはどちらもだ」ということは誤っている; int2 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: ¬(¬{C}{c} v {D}{c}); int2 -> hypothesis;
$facts$ = fact1: 仮にそのみやみえLv.37はめでたいなら「そのもなもにゅLv.37は疲れ易くないかもしくは強いる」ということは成り立たない fact2: もし仮にそのぽちゅぽえLv.94が燥ぎ回るとするとそのみやみえLv.37はめでたい fact3: そのぽちゅぽえLv.94は燥ぎ回る ; $hypothesis$ = 「「「疲れ易くないかもしくは強いるか両方ともである」ということは真実でない」モンスターはいる」ということは成り立つということはない ; $proof$ = 
fact2 & fact3 -> int1: そのみやみえLv.37はめでたい; int1 & fact1 -> int2: 「そのもなもにゅLv.37は疲れ易くないかあるいはそれは強いるかあるいはどちらもだ」ということは誤っている; int2 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: ¬(¬{C}{c} v {D}{c}); int2 -> hypothesis; __DISPROVED__