あのもわもわLv.50は低下しない
fact1: もしもなにがしかのモンスターが晶出するとするとそれはフランス人らしい fact2: あのぽちゅぽにゅLv.12は晶出するししかも言い出し難い fact3: 仮に「あのぽちゅぽにゅLv.12は晶出する」ということは成り立つとすると御詳しい fact4: もしあのぽちゅぽにゅLv.12は御詳しいか理解し辛いかもしくは両方であるとすれば「あのもわもわLv.50は低下しない」ということは真実である fact5: もし仮に「あるモンスターは言い出し難いがしかし御詳しいということはない」ということは間違っているとしたらそれは晶出する fact6: そのみいみにょLv.49は聞こえ難い
fact2 -> int1: あのぽちゅぽにゅLv.12は晶出する; int1 & fact3 -> int2: あのぽちゅぽにゅLv.12は御詳しい; int2 -> int3: あのぽちゅぽにゅLv.12は御詳しいかもしくはそれは理解し辛い; int3 & fact4 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 -> int3: ({C}{a} v {D}{a}); int3 & fact4 -> hypothesis;
そのみいみにょLv.49は聞こえ難いしフランス人らしい
fact9 -> int4: 仮にそのみいみにょLv.49が晶出するならそれはフランス人らしい; fact7 -> int5: 仮に「そのみいみにょLv.49は言い出し難いけれど御詳しくない」ということは偽ならばそのみいみにょLv.49は晶出する;
$facts$ = fact1: もしもなにがしかのモンスターが晶出するとするとそれはフランス人らしい fact2: あのぽちゅぽにゅLv.12は晶出するししかも言い出し難い fact3: 仮に「あのぽちゅぽにゅLv.12は晶出する」ということは成り立つとすると御詳しい fact4: もしあのぽちゅぽにゅLv.12は御詳しいか理解し辛いかもしくは両方であるとすれば「あのもわもわLv.50は低下しない」ということは真実である fact5: もし仮に「あるモンスターは言い出し難いがしかし御詳しいということはない」ということは間違っているとしたらそれは晶出する fact6: そのみいみにょLv.49は聞こえ難い ; $hypothesis$ = あのもわもわLv.50は低下しない ; $proof$ = 
fact2 -> int1: あのぽちゅぽにゅLv.12は晶出する; int1 & fact3 -> int2: あのぽちゅぽにゅLv.12は御詳しい; int2 -> int3: あのぽちゅぽにゅLv.12は御詳しいかもしくはそれは理解し辛い; int3 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a}; int2 -> int3: ({C}{a} v {D}{a}); int3 & fact4 -> hypothesis; __PROVED__