「このもゆもねLv.9は集まり易くないし生まれ落ちない」ということは成り立たない
fact1: もしもそのみゆみやLv.56が常連らしいならそのみゆみやLv.56は妬ましい fact2: そのみゆみやLv.56は懐かしい fact3: もしそのみゆみやLv.56が懐かしいししかも妬ましいとしたらこのもゆもねLv.9は生まれ落ちるということはない fact4: もしあるモンスターは懐かしいとすると「それは集まり易くなくてそれにそれは生まれ落ちない」ということは偽である fact5: そのみゆみやLv.56は集まり易い fact6: そのみゆみやLv.56は疑わしないしかつ御問い合わせ下さらない fact7: このもゆもねLv.9は妬ましくてまた浅し fact8: そのみゆみやLv.56は生まれ落ちる fact9: もしもこのもゆもねLv.9が生まれ落ちないならばこのもゆもねLv.9は集まり易くなくてそれに生まれ落ちない fact10: そのみゆみやLv.56は常連らしい
fact10 & fact1 -> int1: そのみゆみやLv.56は妬ましい; fact2 & int1 -> int2: 「そのみゆみやLv.56は懐かしいしさらに妬ましい」ということは成り立つ; int2 & fact3 -> int3: このもゆもねLv.9は生まれ落ちない; int3 & fact9 -> hypothesis;
fact10 & fact1 -> int1: {B}{a}; fact2 & int1 -> int2: ({A}{a} & {B}{a}); int2 & fact3 -> int3: ¬{C}{b}; int3 & fact9 -> hypothesis;
「このもゆもねLv.9は集まり易くないし生まれ落ちない」ということは成り立たない
fact11 -> int4: もしも「このもゆもねLv.9は懐かしい」ということは事実であるとすると「それは集まり易いということはないし生まれ落ちない」ということは間違いである;
$facts$ = fact1: もしもそのみゆみやLv.56が常連らしいならそのみゆみやLv.56は妬ましい fact2: そのみゆみやLv.56は懐かしい fact3: もしそのみゆみやLv.56が懐かしいししかも妬ましいとしたらこのもゆもねLv.9は生まれ落ちるということはない fact4: もしあるモンスターは懐かしいとすると「それは集まり易くなくてそれにそれは生まれ落ちない」ということは偽である fact5: そのみゆみやLv.56は集まり易い fact6: そのみゆみやLv.56は疑わしないしかつ御問い合わせ下さらない fact7: このもゆもねLv.9は妬ましくてまた浅し fact8: そのみゆみやLv.56は生まれ落ちる fact9: もしもこのもゆもねLv.9が生まれ落ちないならばこのもゆもねLv.9は集まり易くなくてそれに生まれ落ちない fact10: そのみゆみやLv.56は常連らしい ; $hypothesis$ = 「このもゆもねLv.9は集まり易くないし生まれ落ちない」ということは成り立たない ; $proof$ = 
fact10 & fact1 -> int1: そのみゆみやLv.56は妬ましい; fact2 & int1 -> int2: 「そのみゆみやLv.56は懐かしいしさらに妬ましい」ということは成り立つ; int2 & fact3 -> int3: このもゆもねLv.9は生まれ落ちない; int3 & fact9 -> hypothesis; __DISPROVED__
fact10 & fact1 -> int1: {B}{a}; fact2 & int1 -> int2: ({A}{a} & {B}{a}); int2 & fact3 -> int3: ¬{C}{b}; int3 & fact9 -> hypothesis; __DISPROVED__