このもちょもいLv.25は猛々しいということはない
fact1: 仮にこのぴよぴにょLv.63が巻き付けないし開隊しないならこのもちょもいLv.25はダウンロードする fact2: このぴよぴにょLv.63は絶え間無いということはないし加えて恨めしくない fact3: 仮にとあるモンスターはダウンロードしないなら「巻き付けるしまた開隊する」ということは偽だ fact4: このもちょもいLv.25がダウンロードするとすれば猛々しい fact5: もしも絶え間無くないモンスターが恨めしくないとしたら巻き付けない fact6: このぴよぴにょLv.63は開隊しない
fact5 -> int1: もしもこのぴよぴにょLv.63が絶え間無くなくてそれが恨めしくないとしたらこのぴよぴにょLv.63は巻き付けない; int1 & fact2 -> int2: 「このぴよぴにょLv.63は巻き付ける」ということは成り立つということはない; int2 & fact6 -> int3: このぴよぴにょLv.63は巻き付けないし開隊しない; int3 & fact1 -> int4: このもちょもいLv.25はダウンロードする; int4 & fact4 -> hypothesis;
fact5 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> int2: ¬{B}{aa}; int2 & fact6 -> int3: (¬{B}{aa} & ¬{A}{aa}); int3 & fact1 -> int4: {C}{a}; int4 & fact4 -> hypothesis;
このもちょもいLv.25は猛々しいということはない
fact7 -> int5: もし仮にこのもちょもにLv.38はダウンロードしないとすれば「巻き付けるしその上開隊する」ということは間違っている;
$facts$ = fact1: 仮にこのぴよぴにょLv.63が巻き付けないし開隊しないならこのもちょもいLv.25はダウンロードする fact2: このぴよぴにょLv.63は絶え間無いということはないし加えて恨めしくない fact3: 仮にとあるモンスターはダウンロードしないなら「巻き付けるしまた開隊する」ということは偽だ fact4: このもちょもいLv.25がダウンロードするとすれば猛々しい fact5: もしも絶え間無くないモンスターが恨めしくないとしたら巻き付けない fact6: このぴよぴにょLv.63は開隊しない ; $hypothesis$ = このもちょもいLv.25は猛々しいということはない ; $proof$ = 
fact5 -> int1: もしもこのぴよぴにょLv.63が絶え間無くなくてそれが恨めしくないとしたらこのぴよぴにょLv.63は巻き付けない; int1 & fact2 -> int2: 「このぴよぴにょLv.63は巻き付ける」ということは成り立つということはない; int2 & fact6 -> int3: このぴよぴにょLv.63は巻き付けないし開隊しない; int3 & fact1 -> int4: このもちょもいLv.25はダウンロードする; int4 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: (¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> int2: ¬{B}{aa}; int2 & fact6 -> int3: (¬{B}{aa} & ¬{A}{aa}); int3 & fact1 -> int4: {C}{a}; int4 & fact4 -> hypothesis; __DISPROVED__