仮に「その日本舞踊は逮捕しない」ということは成り立つならそのＢＰは平城京東市であるかもしくは分かり辛いかもしくは両方だ
fact1: 「「得られ易くない」ということは成り立つ」物はある fact2: 「四つ目垣でない」物はある fact3: 「逮捕しない」物はある fact4: なにがしかのものは平城京東市でないかあるいはそれは得られ易くないかもしくは両方だ fact5: そのＢＰは逮捕するかまたはそれは分かり辛くない fact6: その日本舞踊は得られ易いということはない fact7: もしも「その柿渋は知性でなくて得られ易いということはない」ということは間違いならそのＢＰは得られ易くない fact8: もしもその日本舞踊が逮捕するならばあのＢＰは平城京東市であるかあるいは分かり辛いかあるいは両方だ fact9: もしその日本舞踊が分かり辛いということはないならあの民間金融は分かり辛い fact10: とあるものが逮捕しないか得られ易くないかあるいはどちらもであるならそのＢＰは平城京東市だ
void -> assump1: 以下のように仮定する。その日本舞踊は逮捕しない; assump1 -> int1: その日本舞踊は逮捕するということはないかあるいは得られ易くない; int1 -> int2: とある物は逮捕しないか得られ易いということはないかまたは両方ともだ; int2 & fact10 -> int3: 「そのＢＰは平城京東市である」ということは正しい; int3 -> int4: そのＢＰは平城京東市であるかまたはそれは分かり辛いかあるいは両方ともだ; [assump1] & int4 -> hypothesis;
あの民間金融は分かり辛い
$facts$ = fact1: 「「得られ易くない」ということは成り立つ」物はある fact2: 「四つ目垣でない」物はある fact3: 「逮捕しない」物はある fact4: なにがしかのものは平城京東市でないかあるいはそれは得られ易くないかもしくは両方だ fact5: そのＢＰは逮捕するかまたはそれは分かり辛くない fact6: その日本舞踊は得られ易いということはない fact7: もしも「その柿渋は知性でなくて得られ易いということはない」ということは間違いならそのＢＰは得られ易くない fact8: もしもその日本舞踊が逮捕するならばあのＢＰは平城京東市であるかあるいは分かり辛いかあるいは両方だ fact9: もしその日本舞踊が分かり辛いということはないならあの民間金融は分かり辛い fact10: とあるものが逮捕しないか得られ易くないかあるいはどちらもであるならそのＢＰは平城京東市だ ; $hypothesis$ = 仮に「その日本舞踊は逮捕しない」ということは成り立つならそのＢＰは平城京東市であるかもしくは分かり辛いかもしくは両方だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その日本舞踊は逮捕しない; assump1 -> int1: その日本舞踊は逮捕するということはないかあるいは得られ易くない; int1 -> int2: とある物は逮捕しないか得られ易いということはないかまたは両方ともだ; int2 & fact10 -> int3: 「そのＢＰは平城京東市である」ということは正しい; int3 -> int4: そのＢＰは平城京東市であるかまたはそれは分かり辛いかあるいは両方ともだ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「「得られ易くない」ということは成り立つ」物はある
事実2: 「四つ目垣でない」物はある
事実3: 「逮捕しない」物はある
事実4: なにがしかのものは平城京東市でないかあるいはそれは得られ易くないかもしくは両方だ
事実5: そのＢＰは逮捕するかまたはそれは分かり辛くない
事実6: その日本舞踊は得られ易いということはない
事実7: もしも「その柿渋は知性でなくて得られ易いということはない」ということは間違いならそのＢＰは得られ易くない
事実8: もしもその日本舞踊が逮捕するならばあのＢＰは平城京東市であるかあるいは分かり辛いかあるいは両方だ
事実9: もしその日本舞踊が分かり辛いということはないならあの民間金融は分かり辛い
事実10: とあるものが逮捕しないか得られ易くないかあるいはどちらもであるならそのＢＰは平城京東市だ

仮説: 仮に「その日本舞踊は逮捕しない」ということは成り立つならそのＢＰは平城京東市であるかもしくは分かり辛いかもしくは両方だ
1. 仮定1: 以下のように仮定する。その日本舞踊は逮捕しない
2. 仮定1から、推論1: "その日本舞踊は逮捕するということはないかあるいは得られ易くない"が導かれる
3. 推論1から、推論2: "とある物は逮捕しないか得られ易いということはないかまたは両方ともだ"が導かれる
4. 推論2と事実10から、推論3: "「そのＢＰは平城京東市である」ということは正しい"が導かれる
5. 推論3から、推論4: "そのＢＰは平城京東市であるかまたはそれは分かり辛いかあるいは両方ともだ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

よって、仮説が証明されました。