このもやもくLv.69は脆くない
fact1: もし「何らかのモンスターは厳し過ぎなくて消化吸収され易くない」ということは成り立たないならば揉める fact2: 仮になんらかのモンスターが厳し過ぎればそれは揉める fact3: もしこのもやもくLv.69が生み易いとするとこのもやもくLv.69は厳し過ぎる fact4: このまわまくLv.82は脆い fact5: 仮にこのもやもくLv.69が厳し過ぎるとすれば揉める fact6: そのもやもにゃLv.81が脆いとすればこのもやもくLv.69は脆くない fact7: もしもなにがしかのモンスターが揉めるとすると脆い fact8: 「このもやもくLv.69は厳し過ぎないしそれに消化吸収され易くない」ということは成り立たない
fact1 -> int1: 「もし仮に「このもやもくLv.69は厳し過ぎなくて更にそれは消化吸収され易くない」ということは成り立つということはないとするとこのもやもくLv.69は揉める」ということは成り立つ; int1 & fact8 -> int2: このもやもくLv.69は揉める; fact7 -> int3: もし仮にこのもやもくLv.69が揉めるとするとこのもやもくLv.69は脆い; int2 & int3 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact8 -> int2: {B}{aa}; fact7 -> int3: {B}{aa} -> {A}{aa}; int2 & int3 -> hypothesis;
このもやもくLv.69は脆くない
$facts$ = fact1: もし「何らかのモンスターは厳し過ぎなくて消化吸収され易くない」ということは成り立たないならば揉める fact2: 仮になんらかのモンスターが厳し過ぎればそれは揉める fact3: もしこのもやもくLv.69が生み易いとするとこのもやもくLv.69は厳し過ぎる fact4: このまわまくLv.82は脆い fact5: 仮にこのもやもくLv.69が厳し過ぎるとすれば揉める fact6: そのもやもにゃLv.81が脆いとすればこのもやもくLv.69は脆くない fact7: もしもなにがしかのモンスターが揉めるとすると脆い fact8: 「このもやもくLv.69は厳し過ぎないしそれに消化吸収され易くない」ということは成り立たない ; $hypothesis$ = このもやもくLv.69は脆くない ; $proof$ = 
fact1 -> int1: 「もし仮に「このもやもくLv.69は厳し過ぎなくて更にそれは消化吸収され易くない」ということは成り立つということはないとするとこのもやもくLv.69は揉める」ということは成り立つ; int1 & fact8 -> int2: このもやもくLv.69は揉める; fact7 -> int3: もし仮にこのもやもくLv.69が揉めるとするとこのもやもくLv.69は脆い; int2 & int3 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact8 -> int2: {B}{aa}; fact7 -> int3: {B}{aa} -> {A}{aa}; int2 & int3 -> hypothesis; __DISPROVED__