「このぷちゃぷよLv.78が埋まるということはないしその上それは忝くない」ということは事実でない
fact1: すりゃ良くないモンスターは忝いしその上私らしい fact2: 仮にこのまわまちょLv.97が埋まればそのまのまいLv.30はひ弱い fact3: もしもあるモンスターが忝いとすれば俗っぽくない fact4: 「もし仮に「このまわまちょLv.97はひ弱くなくて埋まらない」ということは間違っているとするとこのまにゃまにゅLv.83はひ弱くない」ということは成り立つ fact5: もしこのまわまちょLv.97が埋まらないとしたらこのぷちゃぷよLv.78は埋まらなくてそれは忝くない fact6: そのまのまいLv.30はひ弱くない fact7: もし仮に「そのまのまいLv.30は小賢しくて乗り易い」ということは成り立たないとしたらこのまわまちょLv.97はすりゃ良いということはない fact8: もしあるモンスターは俗っぽくないならば「それはひ弱くないしおまけに埋まらない」ということは成り立たない
void -> assump1: 以下のように仮定する。「このまわまちょLv.97は埋まる」ということは真実である; fact2 & assump1 -> int1: 「そのまのまいLv.30はひ弱い」ということは正しい; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまわまちょLv.97は埋まらない; int3 & fact5 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis;
このまにゃまにゅLv.83はひ弱くない
fact11 -> int4: もしもこのまわまちょLv.97は俗っぽくないならば「ひ弱くなくて更に埋まらない」ということは嘘である; fact10 -> int5: もしこのまわまちょLv.97が忝いとしたらこのまわまちょLv.97は俗っぽくない; fact9 -> int6: もしもこのまわまちょLv.97がすりゃ良くないならばこのまわまちょLv.97は忝いしその上私らしい;
$facts$ = fact1: すりゃ良くないモンスターは忝いしその上私らしい fact2: 仮にこのまわまちょLv.97が埋まればそのまのまいLv.30はひ弱い fact3: もしもあるモンスターが忝いとすれば俗っぽくない fact4: 「もし仮に「このまわまちょLv.97はひ弱くなくて埋まらない」ということは間違っているとするとこのまにゃまにゅLv.83はひ弱くない」ということは成り立つ fact5: もしこのまわまちょLv.97が埋まらないとしたらこのぷちゃぷよLv.78は埋まらなくてそれは忝くない fact6: そのまのまいLv.30はひ弱くない fact7: もし仮に「そのまのまいLv.30は小賢しくて乗り易い」ということは成り立たないとしたらこのまわまちょLv.97はすりゃ良いということはない fact8: もしあるモンスターは俗っぽくないならば「それはひ弱くないしおまけに埋まらない」ということは成り立たない ; $hypothesis$ = 「このぷちゃぷよLv.78が埋まるということはないしその上それは忝くない」ということは事実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このまわまちょLv.97は埋まる」ということは真実である; fact2 & assump1 -> int1: 「そのまのまいLv.30はひ弱い」ということは正しい; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまわまちょLv.97は埋まらない; int3 & fact5 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis; __DISPROVED__