もしあの調査員が木槌だし加えて元締めであるならばこの照会等はＯＢ臭くない
fact1: この照会等はＯＢ臭い fact2: あの調査員は好ましない fact3: なにがしかの物は木槌だ fact4: 「仮にあの調査員が木槌であるししかも元締めならこの照会等はＯＢ臭い」ということは確かだ fact5: なにがしかの物が木槌であるしおまけにＯＢ臭いとするとあの調査員は元締めでない fact6: この照会等はＯＢ臭いし元締めだとすれば「あの調査員は木槌でない」ということは正しい fact7: 仮にこの照会等がＯＢ臭いもので加えて木槌であるならあの調査員は元締めであるということはない fact8: もしもこの照会等がＯＢ臭いしおまけに元締めであるならあの調査員は木槌である fact9: 「あの調査員は木槌だ」ということは確かだ fact10: もし仮に何かは木槌であるし更に元締めであるならばあの照会等はＯＢ臭くない fact11: もしもこのコーナーピンが元締めだとするとこの照会等はファイルである fact12: 「決め難いし加えて小休止する」ものはある fact13: その教育環境はＯＢ臭いしかつ磨き始める
void -> assump1: 以下のように仮定する。あの調査員は木槌であるしまた元締めだ; assump1 -> int1: 「木槌であるしおまけに元締めである」物はある; int1 & fact10 -> int2: この照会等はＯＢ臭くない; [assump1] & int2 -> hypothesis;
なんらかの物が恭しいしその上ファイルだ
$facts$ = fact1: この照会等はＯＢ臭い fact2: あの調査員は好ましない fact3: なにがしかの物は木槌だ fact4: 「仮にあの調査員が木槌であるししかも元締めならこの照会等はＯＢ臭い」ということは確かだ fact5: なにがしかの物が木槌であるしおまけにＯＢ臭いとするとあの調査員は元締めでない fact6: この照会等はＯＢ臭いし元締めだとすれば「あの調査員は木槌でない」ということは正しい fact7: 仮にこの照会等がＯＢ臭いもので加えて木槌であるならあの調査員は元締めであるということはない fact8: もしもこの照会等がＯＢ臭いしおまけに元締めであるならあの調査員は木槌である fact9: 「あの調査員は木槌だ」ということは確かだ fact10: もし仮に何かは木槌であるし更に元締めであるならばあの照会等はＯＢ臭くない fact11: もしもこのコーナーピンが元締めだとするとこの照会等はファイルである fact12: 「決め難いし加えて小休止する」ものはある fact13: その教育環境はＯＢ臭いしかつ磨き始める ; $hypothesis$ = もしあの調査員が木槌だし加えて元締めであるならばこの照会等はＯＢ臭くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの調査員は木槌であるしまた元締めだ; assump1 -> int1: 「木槌であるしおまけに元締めである」物はある; int1 & fact10 -> int2: この照会等はＯＢ臭くない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この照会等はＯＢ臭い
事実2: あの調査員は好ましない
事実3: なにがしかの物は木槌だ
事実4: 「仮にあの調査員が木槌であるししかも元締めならこの照会等はＯＢ臭い」ということは確かだ
事実5: なにがしかの物が木槌であるしおまけにＯＢ臭いとするとあの調査員は元締めでない
事実6: この照会等はＯＢ臭いし元締めだとすれば「あの調査員は木槌でない」ということは正しい
事実7: 仮にこの照会等がＯＢ臭いもので加えて木槌であるならあの調査員は元締めであるということはない
事実8: もしもこの照会等がＯＢ臭いしおまけに元締めであるならあの調査員は木槌である
事実9: 「あの調査員は木槌だ」ということは確かだ
事実10: もし仮に何かは木槌であるし更に元締めであるならばあの照会等はＯＢ臭くない
事実11: もしもこのコーナーピンが元締めだとするとこの照会等はファイルである
事実12: 「決め難いし加えて小休止する」ものはある
事実13: その教育環境はＯＢ臭いしかつ磨き始める

仮説: もしあの調査員が木槌だし加えて元締めであるならばこの照会等はＯＢ臭くない
1. 仮定1: 以下のように仮定する。あの調査員は木槌であるしまた元締めだ
2. 仮定1から、推論1: "「木槌であるしおまけに元締めである」物はある"が導かれる
3. 推論1と事実10から、推論2: "この照会等はＯＢ臭くない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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