あの意味は開基する
fact1: なにがしかのものが連係するとすれば跳ね飛ばす fact2: 仮になにかは交換作業であるかあるいは開基しないならば開基しない fact3: もし仮にあの受け払いは交換作業だとしたら「それは拝領後でなくてかつ課外活動でない」ということは成り立たない fact4: もしある物が跳ね飛ばすならそれは交換作業であるかあるいは開基しないかあるいはどちらもだ fact5: もし「とあるものはパラフレーズする一方で母胎所領でない」ということは誤りだとすれば連係する fact6: あの意味は拝領後である fact7: もしあの意味は開基するとすれば「それは拝領後でない一方で交換作業である」ということは事実と異なる fact8: あの受け払いは交換作業である fact9: もし「「あの受け払いは拝領後でないし加えてそれは課外活動でない」ということは成り立つ」ということは事実と異なるとすると「「あの意味は開基しない」ということは成り立たない」ということは成り立つ
fact3 & fact8 -> int1: 「あの受け払いは拝領後でないしそれに課外活動だということはない」ということは偽である; int1 & fact9 -> hypothesis;
fact3 & fact8 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact9 -> hypothesis;
「あの意味は開基するということはない」ということは確かである
fact10 -> int2: もしもあの意味が交換作業であるかあるいは開基しないかもしくはどちらもであるならそれは開基しない; fact12 -> int3: もしあの意味が跳ね飛ばすとすればそれは交換作業であるかそれは開基するということはない; fact11 -> int4: あの意味が連係するとするとそれは跳ね飛ばす; fact13 -> int5: もし仮に「あの意味はパラフレーズするけれどそれは母胎所領でない」ということは事実だということはないとするとそれは連係する;
$facts$ = fact1: なにがしかのものが連係するとすれば跳ね飛ばす fact2: 仮になにかは交換作業であるかあるいは開基しないならば開基しない fact3: もし仮にあの受け払いは交換作業だとしたら「それは拝領後でなくてかつ課外活動でない」ということは成り立たない fact4: もしある物が跳ね飛ばすならそれは交換作業であるかあるいは開基しないかあるいはどちらもだ fact5: もし「とあるものはパラフレーズする一方で母胎所領でない」ということは誤りだとすれば連係する fact6: あの意味は拝領後である fact7: もしあの意味は開基するとすれば「それは拝領後でない一方で交換作業である」ということは事実と異なる fact8: あの受け払いは交換作業である fact9: もし「「あの受け払いは拝領後でないし加えてそれは課外活動でない」ということは成り立つ」ということは事実と異なるとすると「「あの意味は開基しない」ということは成り立たない」ということは成り立つ ; $hypothesis$ = あの意味は開基する ; $proof$ = 
fact3 & fact8 -> int1: 「あの受け払いは拝領後でないしそれに課外活動だということはない」ということは偽である; int1 & fact9 -> hypothesis; __PROVED__
事実1: なにがしかのものが連係するとすれば跳ね飛ばす
事実2: 仮になにかは交換作業であるかあるいは開基しないならば開基しない
事実3: もし仮にあの受け払いは交換作業だとしたら「それは拝領後でなくてかつ課外活動でない」ということは成り立たない
事実4: もしある物が跳ね飛ばすならそれは交換作業であるかあるいは開基しないかあるいはどちらもだ
事実5: もし「とあるものはパラフレーズする一方で母胎所領でない」ということは誤りだとすれば連係する
事実6: あの意味は拝領後である
事実7: もしあの意味は開基するとすれば「それは拝領後でない一方で交換作業である」ということは事実と異なる
事実8: あの受け払いは交換作業である
事実9: もし「「あの受け払いは拝領後でないし加えてそれは課外活動でない」ということは成り立つ」ということは事実と異なるとすると「「あの意味は開基しない」ということは成り立たない」ということは成り立つ

仮説: あの意味は開基する
1. 事実3と事実8から、推論1: "「あの受け払いは拝領後でないしそれに課外活動だということはない」ということは偽である"が導かれる
2. 推論1と事実9から、仮説が導かれる

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