以下のように仮定する。そのぷにぷちゃLv.10は不味い
fact1: 仮にそのぷにぷちゃLv.10が素早くないならそのぷにぷちゃLv.10は許し難くなくてまたそれは発現し易くない fact2: そのぷにぷちゃLv.10が御偉いとすればそのまなまちゃLv.65は茶色っぽくない fact3: そのまなまちゃLv.65は茶色っぽい fact4: もし仮にそのぷにぷちゃLv.10は御偉いか不味いかもしくは両方ともであるとすれば「そのまなまちゃLv.65は茶色っぽいということはない」ということは真実である fact5: 「御偉いモンスターは不味い」ということは成り立つ fact6: 許し難くないモンスターは御偉くてさらに茶色っぽい
void -> assump1: 以下のように仮定する。そのぷにぷちゃLv.10は不味い; assump1 -> int1: そのぷにぷちゃLv.10は御偉いかあるいは不味い; int1 & fact4 -> int2: そのまなまちゃLv.65は茶色っぽいということはない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
そのまなまちゃLv.65は不味い
fact8 -> int4: もしもそのまなまちゃLv.65が御偉いとすればそのまなまちゃLv.65は不味い; fact7 -> int5: もしもそのまなまちゃLv.65が許し難くないとするとそのまなまちゃLv.65は御偉いししかも茶色っぽい;
$facts$ = fact1: 仮にそのぷにぷちゃLv.10が素早くないならそのぷにぷちゃLv.10は許し難くなくてまたそれは発現し易くない fact2: そのぷにぷちゃLv.10が御偉いとすればそのまなまちゃLv.65は茶色っぽくない fact3: そのまなまちゃLv.65は茶色っぽい fact4: もし仮にそのぷにぷちゃLv.10は御偉いか不味いかもしくは両方ともであるとすれば「そのまなまちゃLv.65は茶色っぽいということはない」ということは真実である fact5: 「御偉いモンスターは不味い」ということは成り立つ fact6: 許し難くないモンスターは御偉くてさらに茶色っぽい ; $hypothesis$ = 以下のように仮定する。そのぷにぷちゃLv.10は不味い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぷにぷちゃLv.10は不味い; assump1 -> int1: そのぷにぷちゃLv.10は御偉いかあるいは不味い; int1 & fact4 -> int2: そのまなまちゃLv.65は茶色っぽいということはない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__