仮にその発散角が傍点部分だということはないならばこの地元出身は入れ難いか小汚いかあるいはどちらもである
fact1: 仮にその発散角が入れ難いならこの地元出身は傍点部分だ fact2: 仮にこの地元出身が傍点部分ならばあの発散角は入れ難い fact3: もし仮に「その発散角は小汚くない」ということは本当であるならばこの地元出身は傍点部分だ fact4: もしその発散角が傍点部分でないとすればこの地元出身は入れ難い fact5: 「この地元出身が傍点部分でないとしたらその発散角は入れ難い」ということは事実だ fact6: この地元出身は入れ難いかそれは傍点部分であるかどちらもだ fact7: その発散角は小汚くない fact8: その発散角は傍点部分であるか入れ難いかもしくは両方ともだ fact9: もし仮に「この地元出身は傍点部分でない」ということは成り立つとしたらその発散角は入れ難いかまたはそれは小汚いかまたは両方だ fact10: 仮にこの地元出身が傍点部分でないとしたらその発散角は小汚いか入れ難い fact11: その発散角が小汚いとすればこの地元出身は傍点部分である
void -> assump1: 以下のように仮定する。その発散角は傍点部分でない; fact4 & assump1 -> int1: この地元出身は入れ難い; int1 -> int2: この地元出身は入れ難いかそれは小汚いかあるいは両方だ; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 仮にその発散角が入れ難いならこの地元出身は傍点部分だ fact2: 仮にこの地元出身が傍点部分ならばあの発散角は入れ難い fact3: もし仮に「その発散角は小汚くない」ということは本当であるならばこの地元出身は傍点部分だ fact4: もしその発散角が傍点部分でないとすればこの地元出身は入れ難い fact5: 「この地元出身が傍点部分でないとしたらその発散角は入れ難い」ということは事実だ fact6: この地元出身は入れ難いかそれは傍点部分であるかどちらもだ fact7: その発散角は小汚くない fact8: その発散角は傍点部分であるか入れ難いかもしくは両方ともだ fact9: もし仮に「この地元出身は傍点部分でない」ということは成り立つとしたらその発散角は入れ難いかまたはそれは小汚いかまたは両方だ fact10: 仮にこの地元出身が傍点部分でないとしたらその発散角は小汚いか入れ難い fact11: その発散角が小汚いとすればこの地元出身は傍点部分である ; $hypothesis$ = 仮にその発散角が傍点部分だということはないならばこの地元出身は入れ難いか小汚いかあるいはどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。その発散角は傍点部分でない; fact4 & assump1 -> int1: この地元出身は入れ難い; int1 -> int2: この地元出身は入れ難いかそれは小汚いかあるいは両方だ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にその発散角が入れ難いならこの地元出身は傍点部分だ
事実2: 仮にこの地元出身が傍点部分ならばあの発散角は入れ難い
事実3: もし仮に「その発散角は小汚くない」ということは本当であるならばこの地元出身は傍点部分だ
事実4: もしその発散角が傍点部分でないとすればこの地元出身は入れ難い
事実5: 「この地元出身が傍点部分でないとしたらその発散角は入れ難い」ということは事実だ
事実6: この地元出身は入れ難いかそれは傍点部分であるかどちらもだ
事実7: その発散角は小汚くない
事実8: その発散角は傍点部分であるか入れ難いかもしくは両方ともだ
事実9: もし仮に「この地元出身は傍点部分でない」ということは成り立つとしたらその発散角は入れ難いかまたはそれは小汚いかまたは両方だ
事実10: 仮にこの地元出身が傍点部分でないとしたらその発散角は小汚いか入れ難い
事実11: その発散角が小汚いとすればこの地元出身は傍点部分である

仮説: 仮にその発散角が傍点部分だということはないならばこの地元出身は入れ難いか小汚いかあるいはどちらもである
1. 仮定1: 以下のように仮定する。その発散角は傍点部分でない
2. 事実4と仮定1から、推論1: "この地元出身は入れ難い"が導かれる
3. 推論1から、推論2: "この地元出身は入れ難いかそれは小汚いかあるいは両方だ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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