「このもねもくLv.14が冷め難いしその上空々しい」ということは確かでない
fact1: 「そのもにもやLv.45は見返らなくて無声化し易くない」ということは間違いである fact2: もし仮に「このもねもくLv.14は連想し易くない」ということは成り立つとしたら転勤しないしそれに見込めない fact3: 「このもねもくLv.14は連想し易くない」ということは成り立つ fact4: 「このもねもくLv.14は空々しい」ということは事実だ fact5: なんらかのモンスターが傷付け易いとすれば連想し易い fact6: 娘らしくないモンスターは傷付け易くて砕く fact7: もしも「何らかのモンスターは見返らなくてそれは無声化し易くない」ということは成り立たないとするとそれは娘らしいということはない fact8: 仮にこのもねもくLv.14が転勤しなくてそれに見込めないとすればこのもねもくLv.14は冷め難い
fact2 & fact3 -> int1: このもねもくLv.14は転勤するということはなくてそれに見込めるということはない; int1 & fact8 -> int2: 「このもねもくLv.14は冷め難い」ということは事実である; int2 & fact4 -> hypothesis;
fact2 & fact3 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact8 -> int2: {B}{a}; int2 & fact4 -> hypothesis;
「このもねもくLv.14が冷め難いしその上空々しい」ということは確かでない
fact9 -> int3: そのもにもやLv.45が傷付け易いならば連想し易い; fact11 -> int4: 仮にそのもにもやLv.45が娘らしくないなら傷付け易いしその上砕く; fact12 -> int5: 「そのもにもやLv.45は見返らないしまた無声化し易くない」ということは誤りであるならばそのもにもやLv.45は娘らしいということはない; int5 & fact10 -> int6: そのもにもやLv.45は娘らしくない; int4 & int6 -> int7: そのもにもやLv.45は傷付け易くてさらにそれは砕く; int7 -> int8: 「そのもにもやLv.45は傷付け易い」ということは本当である; int3 & int8 -> int9: そのもにもやLv.45は連想し易い; int9 -> int10: 「連想し易い」モンスターはいる;
$facts$ = fact1: 「そのもにもやLv.45は見返らなくて無声化し易くない」ということは間違いである fact2: もし仮に「このもねもくLv.14は連想し易くない」ということは成り立つとしたら転勤しないしそれに見込めない fact3: 「このもねもくLv.14は連想し易くない」ということは成り立つ fact4: 「このもねもくLv.14は空々しい」ということは事実だ fact5: なんらかのモンスターが傷付け易いとすれば連想し易い fact6: 娘らしくないモンスターは傷付け易くて砕く fact7: もしも「何らかのモンスターは見返らなくてそれは無声化し易くない」ということは成り立たないとするとそれは娘らしいということはない fact8: 仮にこのもねもくLv.14が転勤しなくてそれに見込めないとすればこのもねもくLv.14は冷め難い ; $hypothesis$ = 「このもねもくLv.14が冷め難いしその上空々しい」ということは確かでない ; $proof$ = 
fact2 & fact3 -> int1: このもねもくLv.14は転勤するということはなくてそれに見込めるということはない; int1 & fact8 -> int2: 「このもねもくLv.14は冷め難い」ということは事実である; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact8 -> int2: {B}{a}; int2 & fact4 -> hypothesis; __DISPROVED__