この建築上は処理・発行であるしその上嵌まりこむ
fact1: もしある物は処理・発行でないならば「それは汲み取れる一方で嵌まりこまない」ということは偽だ fact2: もし俗曲はマスター音叉でないとしたら処理・発行でない fact3: もし仮に「「放置出来るが絡まり合わない」ということは成り立たない」物があるならばあの建築上は処理・発行である fact4: この十四分は嵌まりこむ fact5: 「「放置出来るしさらに絡まり合うということはない」ということは嘘な」ものはある fact6: この建築上は汲み取れる fact7: 仮にこの建築上が汲み取れるとしたらそれは嵌まりこむ
fact5 & fact3 -> int1: この建築上は処理・発行だ; fact7 & fact6 -> int2: この建築上は嵌まりこむ; int1 & int2 -> hypothesis;
fact5 & fact3 -> int1: {A}{a}; fact7 & fact6 -> int2: {B}{a}; int1 & int2 -> hypothesis;
その功名心は嵌まりこむ
fact9 -> int3: 仮にこの建築上は処理・発行だということはないならば「それは汲み取れるけれど嵌まりこまない」ということは間違いである; fact8 -> int4: もしもこの建築上が俗曲だ一方でそれはマスター音叉でないとしたら「処理・発行であるということはない」ということは正しい;
$facts$ = fact1: もしある物は処理・発行でないならば「それは汲み取れる一方で嵌まりこまない」ということは偽だ fact2: もし俗曲はマスター音叉でないとしたら処理・発行でない fact3: もし仮に「「放置出来るが絡まり合わない」ということは成り立たない」物があるならばあの建築上は処理・発行である fact4: この十四分は嵌まりこむ fact5: 「「放置出来るしさらに絡まり合うということはない」ということは嘘な」ものはある fact6: この建築上は汲み取れる fact7: 仮にこの建築上が汲み取れるとしたらそれは嵌まりこむ ; $hypothesis$ = この建築上は処理・発行であるしその上嵌まりこむ ; $proof$ = 
fact5 & fact3 -> int1: この建築上は処理・発行だ; fact7 & fact6 -> int2: この建築上は嵌まりこむ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしある物は処理・発行でないならば「それは汲み取れる一方で嵌まりこまない」ということは偽だ
事実2: もし俗曲はマスター音叉でないとしたら処理・発行でない
事実3: もし仮に「「放置出来るが絡まり合わない」ということは成り立たない」物があるならばあの建築上は処理・発行である
事実4: この十四分は嵌まりこむ
事実5: 「「放置出来るしさらに絡まり合うということはない」ということは嘘な」ものはある
事実6: この建築上は汲み取れる
事実7: 仮にこの建築上が汲み取れるとしたらそれは嵌まりこむ

仮説: この建築上は処理・発行であるしその上嵌まりこむ
1. 事実5と事実3から、推論1: "この建築上は処理・発行だ"が導かれる
2. 事実7と事実6から、推論2: "この建築上は嵌まりこむ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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