「あのもよもなLv.6は心深し」ということは事実でない
fact1: もし仮に「あのもよもなLv.6はすごーい」ということは本当であるならばそれは心深し fact2: もしも「なんらかのモンスターは新しくて加えて重たい」ということは嘘であるとすればそれは重たくない fact3: 仮に「「何らかのモンスターは気まずくなくておまけにそれは人間っぽくない」ということは成り立つ」ということは間違いだとするとそれはすごーい fact4: もし仮にそのぴにぴよLv.47が重たいということはないとするとそのぴにぴよLv.47は保ち易いし更にそれは卑しい fact5: 卑しいモンスターはすごーくないししかも心深くない fact6: 「あのもよもなLv.6は気まずくないし人間っぽくない」ということは事実と異なる fact7: もし仮にあのぴなぴにょLv.91はひ弱くないとすれば「退行する」ということは嘘だ fact8: もし仮にあのぴなぴにょLv.91は退行しないとしたら「そのぴにぴよLv.47は新しいしかつそれは重たい」ということは誤りだ
fact3 -> int1: もしも「あのもよもなLv.6は気まずくなくてさらに人間っぽくない」ということは誤りであるとしたらそれはすごーい; int1 & fact6 -> int2: あのもよもなLv.6はすごーい; int2 & fact1 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact6 -> int2: {B}{aa}; int2 & fact1 -> hypothesis;
「あのもよもなLv.6は心深し」ということは事実でない
fact13 -> int3: もしそのぴにぴよLv.47が卑しいならそのぴにぴよLv.47はすごーくないしかつ心深くない; fact9 -> int4: 「「そのぴにぴよLv.47は新しくてそれに重たい」ということは事実でない」ということは成り立つなら重たくない;
$facts$ = fact1: もし仮に「あのもよもなLv.6はすごーい」ということは本当であるならばそれは心深し fact2: もしも「なんらかのモンスターは新しくて加えて重たい」ということは嘘であるとすればそれは重たくない fact3: 仮に「「何らかのモンスターは気まずくなくておまけにそれは人間っぽくない」ということは成り立つ」ということは間違いだとするとそれはすごーい fact4: もし仮にそのぴにぴよLv.47が重たいということはないとするとそのぴにぴよLv.47は保ち易いし更にそれは卑しい fact5: 卑しいモンスターはすごーくないししかも心深くない fact6: 「あのもよもなLv.6は気まずくないし人間っぽくない」ということは事実と異なる fact7: もし仮にあのぴなぴにょLv.91はひ弱くないとすれば「退行する」ということは嘘だ fact8: もし仮にあのぴなぴにょLv.91は退行しないとしたら「そのぴにぴよLv.47は新しいしかつそれは重たい」ということは誤りだ ; $hypothesis$ = 「あのもよもなLv.6は心深し」ということは事実でない ; $proof$ = 
fact3 -> int1: もしも「あのもよもなLv.6は気まずくなくてさらに人間っぽくない」ということは誤りであるとしたらそれはすごーい; int1 & fact6 -> int2: あのもよもなLv.6はすごーい; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 & fact6 -> int2: {B}{aa}; int2 & fact1 -> hypothesis; __DISPROVED__