仮にこのまえまにLv.68がイメージし易くてそれに配当するとしたらそれは広くない
fact1: イメージし易くないモンスターは広い fact2: このまえまにLv.68は配当するし確認し難いとすれば「このまえまにLv.68は広くない」ということは成り立つ fact3: このまえまにLv.68は広い fact4: このまえまにLv.68は確認し難い fact5: 仮に「あのまくまちゅLv.62は無声化し易くない」ということは嘘でないとしたら「あのまくまちゅLv.62は配当しないが確認し難い」ということは成り立たない fact6: もし仮にこのまえまにLv.68が配当するしその上確認し難いとしたらこのまえまにLv.68は広い
void -> assump1: 以下のように仮定する。このまえまにLv.68はイメージし易くて更にそれは配当する; assump1 -> int1: このまえまにLv.68は配当する; int1 & fact4 -> int2: このまえまにLv.68は配当するしさらに確認し難い; int2 & fact2 -> int3: このまえまにLv.68は広くない; [assump1] & int3 -> hypothesis;
void -> assump1: ({A}{a} & {B}{a}); assump1 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> int3: ¬{D}{a}; [assump1] & int3 -> hypothesis;
あのまくまちゅLv.62は広いし加えて剥がれ易い
fact8 -> int4: もし仮にあのまくまちゅLv.62はイメージし易くないとすれば広い;
$facts$ = fact1: イメージし易くないモンスターは広い fact2: このまえまにLv.68は配当するし確認し難いとすれば「このまえまにLv.68は広くない」ということは成り立つ fact3: このまえまにLv.68は広い fact4: このまえまにLv.68は確認し難い fact5: 仮に「あのまくまちゅLv.62は無声化し易くない」ということは嘘でないとしたら「あのまくまちゅLv.62は配当しないが確認し難い」ということは成り立たない fact6: もし仮にこのまえまにLv.68が配当するしその上確認し難いとしたらこのまえまにLv.68は広い ; $hypothesis$ = 仮にこのまえまにLv.68がイメージし易くてそれに配当するとしたらそれは広くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このまえまにLv.68はイメージし易くて更にそれは配当する; assump1 -> int1: このまえまにLv.68は配当する; int1 & fact4 -> int2: このまえまにLv.68は配当するしさらに確認し難い; int2 & fact2 -> int3: このまえまにLv.68は広くない; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ({A}{a} & {B}{a}); assump1 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> int3: ¬{D}{a}; [assump1] & int3 -> hypothesis; __PROVED__