「「あのもゆもわLv.19が断定し難いしその上それは生かし切る」ということは成り立つとすれば「そのみなみにLv.63は決め難くない」ということは事実と異ならない」ということは偽だ
fact1: 仮にあるモンスターが生かし切るならそれは断定し難い fact2: もし仮にそのみなみにLv.63が決め難いししかもそれが生かし切るとしたらあのもゆもわLv.19は俗っぽくない fact3: 「あのもゆもわLv.19は俗っぽい」ということは成り立つ fact4: もしもそのみなみにLv.63が空々しくないとすればそのみなみにLv.63は生かし切るし決め難い fact5: もしあのもゆもわLv.19が俗っぽいししかも生かし切ればそのみなみにLv.63は決め難くない
void -> assump1: 以下のように仮定する。あのもゆもわLv.19は断定し難いしおまけに生かし切る; assump1 -> int1: あのもゆもわLv.19は生かし切る; int1 & fact3 -> int2: あのもゆもわLv.19は俗っぽくて加えてそれは生かし切る; int2 & fact5 -> int3: そのみなみにLv.63は決め難くない; [assump1] & int3 -> hypothesis;
void -> assump1: ({A}{a} & {B}{a}); assump1 -> int1: {B}{a}; int1 & fact3 -> int2: ({C}{a} & {B}{a}); int2 & fact5 -> int3: ¬{D}{b}; [assump1] & int3 -> hypothesis;
そのみなみにLv.63は断定し難いし通り易い
fact7 -> int4: 仮にそのみなみにLv.63が生かし切るとするとそれは断定し難い;
$facts$ = fact1: 仮にあるモンスターが生かし切るならそれは断定し難い fact2: もし仮にそのみなみにLv.63が決め難いししかもそれが生かし切るとしたらあのもゆもわLv.19は俗っぽくない fact3: 「あのもゆもわLv.19は俗っぽい」ということは成り立つ fact4: もしもそのみなみにLv.63が空々しくないとすればそのみなみにLv.63は生かし切るし決め難い fact5: もしあのもゆもわLv.19が俗っぽいししかも生かし切ればそのみなみにLv.63は決め難くない ; $hypothesis$ = 「「あのもゆもわLv.19が断定し難いしその上それは生かし切る」ということは成り立つとすれば「そのみなみにLv.63は決め難くない」ということは事実と異ならない」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのもゆもわLv.19は断定し難いしおまけに生かし切る; assump1 -> int1: あのもゆもわLv.19は生かし切る; int1 & fact3 -> int2: あのもゆもわLv.19は俗っぽくて加えてそれは生かし切る; int2 & fact5 -> int3: そのみなみにLv.63は決め難くない; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ({A}{a} & {B}{a}); assump1 -> int1: {B}{a}; int1 & fact3 -> int2: ({C}{a} & {B}{a}); int2 & fact5 -> int3: ¬{D}{b}; [assump1] & int3 -> hypothesis; __DISPROVED__