「あのぷちゃぷいLv.57は粘っこくなくて小さくない」ということは偽である
fact1: なんらかのモンスターは認め難くないが尊し fact2: 「このぴにぴちゅLv.90は登山家らしくない」ということは嘘でない fact3: そのまいまえLv.53は小さくないとしたら「あのぷちゃぷいLv.57は粘っこくなくて小さくない」ということは成り立たない fact4: もしもなんらかのモンスターは登山家らしくないとすると「粘っこくないしそれは小さくない」ということは本当だ fact5: もしもそのまいまえLv.53が小さいとするとこのぴにぴちゅLv.90は登山家らしい fact6: このぴにぴちゅLv.90はコントロールし易い fact7: もしとあるモンスターがコントロールし易いとすればそのまいまえLv.53は懐かしいしかつコントロールし易い
void -> assump1: 以下のように仮定する。そのまいまえLv.53は小さい; fact5 & assump1 -> int1: このぴにぴちゅLv.90は登山家らしい; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのまいまえLv.53は小さくない; int3 & fact3 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis;
あのぷちゃぷいLv.57は粘っこくなくてそれは小さくない
fact8 -> int4: 「もし仮にあのぷちゃぷいLv.57が登山家らしくないとしたらあのぷちゃぷいLv.57は粘っこくないしそれにそれは小さくない」ということは確かである; fact10 -> int5: 「コントロールし易い」モンスターはいる; int5 & fact11 -> int6: そのまいまえLv.53は懐かしいしさらにコントロールし易い; int6 -> int7: そのまいまえLv.53は懐かしい;
$facts$ = fact1: なんらかのモンスターは認め難くないが尊し fact2: 「このぴにぴちゅLv.90は登山家らしくない」ということは嘘でない fact3: そのまいまえLv.53は小さくないとしたら「あのぷちゃぷいLv.57は粘っこくなくて小さくない」ということは成り立たない fact4: もしもなんらかのモンスターは登山家らしくないとすると「粘っこくないしそれは小さくない」ということは本当だ fact5: もしもそのまいまえLv.53が小さいとするとこのぴにぴちゅLv.90は登山家らしい fact6: このぴにぴちゅLv.90はコントロールし易い fact7: もしとあるモンスターがコントロールし易いとすればそのまいまえLv.53は懐かしいしかつコントロールし易い ; $hypothesis$ = 「あのぷちゃぷいLv.57は粘っこくなくて小さくない」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのまいまえLv.53は小さい; fact5 & assump1 -> int1: このぴにぴちゅLv.90は登山家らしい; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのまいまえLv.53は小さくない; int3 & fact3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact3 -> hypothesis; __PROVED__