「そのまにゃまやLv.15は相談し易くなくて更にそれは欲深いということはない」ということは誤っている
fact1: 「あるモンスターは浅しないけれど欲深い」ということは事実でないならそれは相談し易いということはない fact2: 「そのぷちゃぷくLv.90は浅しない」ということは事実だ fact3: もし仮にあのまゆまくLv.33は浅しとすると「そのまにゃまやLv.15は相談し易くないしさらにそれは欲深いということはない」ということは嘘だ fact4: あのまゆまくLv.33が欲深いならばそのぷちゃぷくLv.90は浅し fact5: あのまゆまくLv.33が欲深くないならばそのまにゃまやLv.15は相談し易くないし欲深くない fact6: とあるモンスターは気持ち良いということはないならば「浅しということはないが欲深い」ということは誤りだ
void -> assump1: 以下のように仮定する。あのまゆまくLv.33は欲深い; fact4 & assump1 -> int1: そのぷちゃぷくLv.90は浅し; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのまゆまくLv.33は欲深いということはない; int3 & fact5 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis;
「あのまゆまくLv.33は相談し易くない」ということは真実である
fact7 -> int4: もしも「あのまゆまくLv.33は浅しない一方で欲深い」ということは成り立たないならばそれは相談し易くない; fact8 -> int5: もしもあのまゆまくLv.33は気持ち良いということはないなら「浅しないけれど欲深い」ということは間違いである;
$facts$ = fact1: 「あるモンスターは浅しないけれど欲深い」ということは事実でないならそれは相談し易いということはない fact2: 「そのぷちゃぷくLv.90は浅しない」ということは事実だ fact3: もし仮にあのまゆまくLv.33は浅しとすると「そのまにゃまやLv.15は相談し易くないしさらにそれは欲深いということはない」ということは嘘だ fact4: あのまゆまくLv.33が欲深いならばそのぷちゃぷくLv.90は浅し fact5: あのまゆまくLv.33が欲深くないならばそのまにゃまやLv.15は相談し易くないし欲深くない fact6: とあるモンスターは気持ち良いということはないならば「浅しということはないが欲深い」ということは誤りだ ; $hypothesis$ = 「そのまにゃまやLv.15は相談し易くなくて更にそれは欲深いということはない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あのまゆまくLv.33は欲深い; fact4 & assump1 -> int1: そのぷちゃぷくLv.90は浅し; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのまゆまくLv.33は欲深いということはない; int3 & fact5 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis; __DISPROVED__