「仮にそのぷえぷちょLv.81が落ちぶれるとしたらそのみいみのLv.92は取り易い」ということは偽である
fact1: もしそのぷえぷちょLv.81が落ちぶれるとすればそれは説明し易い fact2: もしそのみいみのLv.92が説明し易いならそのぷえぷちょLv.81は取り易い fact3: そのみいみのLv.92は説明し易い fact4: もしもそのぷえぷちょLv.81が説明し易いとするとそのみいみのLv.92は取り易い fact5: 仮にあるモンスターは使い難いなら「御寒い」ということは確かである
void -> assump1: 以下のように仮定する。そのぷえぷちょLv.81は落ちぶれる; fact1 & assump1 -> int1: そのぷえぷちょLv.81は説明し易い; int1 & fact4 -> int2: そのみいみのLv.92は取り易い; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
もしあのまちゅまわLv.30が使い難いとするとあのまちゅまわLv.30は御寒い
fact6 -> hypothesis;
$facts$ = fact1: もしそのぷえぷちょLv.81が落ちぶれるとすればそれは説明し易い fact2: もしそのみいみのLv.92が説明し易いならそのぷえぷちょLv.81は取り易い fact3: そのみいみのLv.92は説明し易い fact4: もしもそのぷえぷちょLv.81が説明し易いとするとそのみいみのLv.92は取り易い fact5: 仮にあるモンスターは使い難いなら「御寒い」ということは確かである ; $hypothesis$ = 「仮にそのぷえぷちょLv.81が落ちぶれるとしたらそのみいみのLv.92は取り易い」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぷえぷちょLv.81は落ちぶれる; fact1 & assump1 -> int1: そのぷえぷちょLv.81は説明し易い; int1 & fact4 -> int2: そのみいみのLv.92は取り易い; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __DISPROVED__