このもにゃもにLv.88は思しということはない
fact1: あのもいもなLv.79は釈放するとしたら「宜しいしおまけに持ち易い」ということは成り立つということはない fact2: もし何らかのモンスターは釈放すれば「それは宜しいししかもそれは持ち易い」ということは誤っている fact3: 「とあるモンスターは釈放するとすれば「それは宜しいということはないけれど持ち易い」ということは成り立たない」ということは成り立つ fact4: もしそのまゆまちょLv.97が百姓らしいし御辛いならこのもにゃもにLv.88は思し fact5: 仮にあのもいもなLv.79は百姓らしくないなら「そのまゆまちょLv.97は百姓らしくないけど御辛い」ということは事実である fact6: もし仮に「「あのもいもなLv.79は宜しいということはない一方で持ち易い」ということは正しい」ということは成り立たないとするとそれは百姓らしくない fact7: あのもいもなLv.79は釈放する fact8: もしもあのもいもなLv.79が百姓らしくないならばそのまゆまちょLv.97は百姓らしくない fact9: 仮にそのまゆまちょLv.97が百姓らしくないけどそれが御辛いとするとこのもにゃもにLv.88は思し
fact3 -> int1: 仮にあのもいもなLv.79は釈放するとすると「あのもいもなLv.79は宜しいということはないけれど持ち易い」ということは成り立たない; int1 & fact7 -> int2: 「「あのもいもなLv.79は宜しくないがそれは持ち易い」ということは成り立つということはない」ということは確かだ; int2 & fact6 -> int3: あのもいもなLv.79は百姓らしくない; int3 & fact5 -> int4: そのまゆまちょLv.97は百姓らしくないけれど御辛い; int4 & fact9 -> hypothesis;
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact7 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact6 -> int3: ¬{B}{aa}; int3 & fact5 -> int4: (¬{B}{a} & {C}{a}); int4 & fact9 -> hypothesis;
$facts$ = fact1: あのもいもなLv.79は釈放するとしたら「宜しいしおまけに持ち易い」ということは成り立つということはない fact2: もし何らかのモンスターは釈放すれば「それは宜しいししかもそれは持ち易い」ということは誤っている fact3: 「とあるモンスターは釈放するとすれば「それは宜しいということはないけれど持ち易い」ということは成り立たない」ということは成り立つ fact4: もしそのまゆまちょLv.97が百姓らしいし御辛いならこのもにゃもにLv.88は思し fact5: 仮にあのもいもなLv.79は百姓らしくないなら「そのまゆまちょLv.97は百姓らしくないけど御辛い」ということは事実である fact6: もし仮に「「あのもいもなLv.79は宜しいということはない一方で持ち易い」ということは正しい」ということは成り立たないとするとそれは百姓らしくない fact7: あのもいもなLv.79は釈放する fact8: もしもあのもいもなLv.79が百姓らしくないならばそのまゆまちょLv.97は百姓らしくない fact9: 仮にそのまゆまちょLv.97が百姓らしくないけどそれが御辛いとするとこのもにゃもにLv.88は思し ; $hypothesis$ = このもにゃもにLv.88は思しということはない ; $proof$ = 
fact3 -> int1: 仮にあのもいもなLv.79は釈放するとすると「あのもいもなLv.79は宜しいということはないけれど持ち易い」ということは成り立たない; int1 & fact7 -> int2: 「「あのもいもなLv.79は宜しくないがそれは持ち易い」ということは成り立つということはない」ということは確かだ; int2 & fact6 -> int3: あのもいもなLv.79は百姓らしくない; int3 & fact5 -> int4: そのまゆまちょLv.97は百姓らしくないけれど御辛い; int4 & fact9 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 & fact7 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int2 & fact6 -> int3: ¬{B}{aa}; int3 & fact5 -> int4: (¬{B}{a} & {C}{a}); int4 & fact9 -> hypothesis; __DISPROVED__