そのもにょもやLv.58は左右され易いかまたはそれは遅しか両方だ
fact1: もし仮にこのまくまくLv.14は御邪魔しないならば「そのもにょもやLv.58は左右され易いか遅しかあるいは両方である」ということは偽である fact2: このまくまくLv.14は御邪魔するし書き進める fact3: もしこのまくまくLv.14が書き進めるとしたらそのもにょもやLv.58は左右され易い fact4: もし仮になにがしかのモンスターが御邪魔しないかあるいは書き進めないかまたは両方ともであるとすると御邪魔しない fact5: もし仮に「なにがしかのモンスターは怖くないが恭しい」ということは成り立たないならそれは書き進めない fact6: このまくまくLv.14は遅しかまたはそれは書き進める fact7: もし仮にあるモンスターは形成され易いということはないとしたら「それは怖くなくて加えてそれは恭しい」ということは成り立たない
fact2 -> int1: このまくまくLv.14は書き進める; int1 & fact3 -> int2: そのもにょもやLv.58は左右され易い; int2 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 -> hypothesis;
「そのもにょもやLv.58は左右され易いか遅し」ということは成り立たない
fact9 -> int3: もしこのまくまくLv.14が御邪魔しないか書き進めないとすると御邪魔しない; fact8 -> int4: もしも「このまくまくLv.14は怖くないがしかし恭しい」ということは誤りであるとするとこのまくまくLv.14は書き進めない; fact11 -> int5: もし仮にこのまくまくLv.14は形成され易くないとしたら「怖くなくてかつそれは恭しい」ということは成り立つということはない;
$facts$ = fact1: もし仮にこのまくまくLv.14は御邪魔しないならば「そのもにょもやLv.58は左右され易いか遅しかあるいは両方である」ということは偽である fact2: このまくまくLv.14は御邪魔するし書き進める fact3: もしこのまくまくLv.14が書き進めるとしたらそのもにょもやLv.58は左右され易い fact4: もし仮になにがしかのモンスターが御邪魔しないかあるいは書き進めないかまたは両方ともであるとすると御邪魔しない fact5: もし仮に「なにがしかのモンスターは怖くないが恭しい」ということは成り立たないならそれは書き進めない fact6: このまくまくLv.14は遅しかまたはそれは書き進める fact7: もし仮にあるモンスターは形成され易いということはないとしたら「それは怖くなくて加えてそれは恭しい」ということは成り立たない ; $hypothesis$ = そのもにょもやLv.58は左右され易いかまたはそれは遅しか両方だ ; $proof$ = 
fact2 -> int1: このまくまくLv.14は書き進める; int1 & fact3 -> int2: そのもにょもやLv.58は左右され易い; int2 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 -> hypothesis; __PROVED__