「そのもねもにょLv.83は忘れないか生じ難くない」ということは事実だということはない
fact1: もしも易しいモンスターが痛々しいとしたらそれは支障無いということはない fact2: あのまなまわLv.45は痛々しい fact3: そのもねもにょLv.83は駆け入る fact4: もしそのもねもにょLv.83が易しいとするとあのまなまわLv.45は痛々しくない
void -> assump1: 以下のように仮定する。そのもねもにょLv.83は易しい; fact4 & assump1 -> int1: 「あのまなまわLv.45は痛々しくない」ということは真実である; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのもねもにょLv.83は易しくない;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: ¬{B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a};
そのもねもにょLv.83は支障無くない
fact5 -> int4: もしそのもねもにょLv.83が易しくて更に痛々しいならそのもねもにょLv.83は支障無くない;
$facts$ = fact1: もしも易しいモンスターが痛々しいとしたらそれは支障無いということはない fact2: あのまなまわLv.45は痛々しい fact3: そのもねもにょLv.83は駆け入る fact4: もしそのもねもにょLv.83が易しいとするとあのまなまわLv.45は痛々しくない ; $hypothesis$ = 「そのもねもにょLv.83は忘れないか生じ難くない」ということは事実だということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__