このぴなぴいLv.79は継続し難くない
fact1: もしもそのみちょみねLv.77が吸えるならそのみにみいLv.16は言い出し難い fact2: そのみちょみねLv.77は継続し難い fact3: あらゆるモンスターは顕在化し易いということはない fact4: そのみちょみねLv.77は吸える fact5: 仮にとあるモンスターは顕在化し易くないとすると「「研究すしそれにそれは重い」ということは確かである」ということは成り立たない fact6: 仮にそのみにみいLv.16が言い出し難いとするとこのぴなぴいLv.79は継続し難い fact7: もしそのみちょみねLv.77は言い出し難いとすると「そのみにみいLv.16は吸える」ということは真実だ
fact1 & fact4 -> int1: 「そのみにみいLv.16は言い出し難い」ということは事実だ; int1 & fact6 -> hypothesis;
fact1 & fact4 -> int1: {B}{b}; int1 & fact6 -> hypothesis;
このぴなぴいLv.79は継続し難くない
fact9 -> int2: もし仮にそのみにみいLv.16は顕在化し易くないならば「そのみにみいLv.16は研究すし重い」ということは誤りだ; fact8 -> int3: そのみにみいLv.16は顕在化し易くない; int2 & int3 -> int4: 「そのみにみいLv.16は研究すしさらに重い」ということは成り立たない; int4 -> int5: 研究すし更に重いというモンスターはない; int5 -> int6: 「「そのみちょみねLv.77は研究すし重い」ということは確かである」ということは正しくない;
$facts$ = fact1: もしもそのみちょみねLv.77が吸えるならそのみにみいLv.16は言い出し難い fact2: そのみちょみねLv.77は継続し難い fact3: あらゆるモンスターは顕在化し易いということはない fact4: そのみちょみねLv.77は吸える fact5: 仮にとあるモンスターは顕在化し易くないとすると「「研究すしそれにそれは重い」ということは確かである」ということは成り立たない fact6: 仮にそのみにみいLv.16が言い出し難いとするとこのぴなぴいLv.79は継続し難い fact7: もしそのみちょみねLv.77は言い出し難いとすると「そのみにみいLv.16は吸える」ということは真実だ ; $hypothesis$ = このぴなぴいLv.79は継続し難くない ; $proof$ = 
fact1 & fact4 -> int1: 「そのみにみいLv.16は言い出し難い」ということは事実だ; int1 & fact6 -> hypothesis; __DISPROVED__
fact1 & fact4 -> int1: {B}{b}; int1 & fact6 -> hypothesis; __DISPROVED__