その部内は深層である
fact1: もしもその部内は行灯であるとすれば「あの指導監査は採草放牧地でない一方で深層である」ということは嘘である fact2: なにかは心する fact3: もしもその味噌はがめついとすると「その部内は深層だ」ということは成り立つ fact4: もし仮にあの準拠枠が深層である一方で各種委員会でないとするとそれはがめつかない fact5: 仮に「「採草放牧地でないしさらに入力部である」ということは間違いである」物があるとするとその味噌はがめつい fact6: あの指導監査は行灯だ fact7: もし仮にとある物は攣るないとしたら「心するしそれは行灯でない」ということは成り立たない fact8: あの準拠枠はがめつかないなら「その浚渫は採草放牧地でないがそれは入力部だ」ということは事実である fact9: あの細胞表面上は紛らせる fact10: あの指導監査は心する fact11: 仮にあのスライスアーモンドは攣るなら「その浚渫は裁判所書記官だ」ということは事実である fact12: あの準拠枠は深層であるけれど各種委員会でない fact13: その味噌は混入し易いしさらに目敏い fact14: 仮に「その浚渫は裁判所書記官である」ということは事実だとすると「あの準拠枠は採草放牧地でないがしかしそれは入力部だ」ということは間違いである fact15: その一人子は心する fact16: もし「「採草放牧地でない」ということは確かである」物はあるなら「あのスライスアーモンドは採草放牧地だ一方で攣るない」ということは事実と異なる fact17: もし仮になにかは入力部でないとすると「あの指導監査は採草放牧地でない」ということは成り立つ fact18: もし行灯が心するとするとあのスライスアーモンドは攣る
fact6 & fact10 -> int1: あの指導監査は行灯だしさらに心する; int1 -> int2: 「行灯でしかも心する」物はある; int2 & fact18 -> int3: あのスライスアーモンドは攣る; int3 & fact11 -> int4: その浚渫は裁判所書記官である; int4 & fact14 -> int5: 「あの準拠枠は採草放牧地でないが入力部である」ということは間違っている; int5 -> int6: 「「採草放牧地だということはないがしかし入力部である」ということは間違っている」物はある; int6 & fact5 -> int7: その味噌はがめつい; int7 & fact3 -> hypothesis;
その部内は深層でない
fact20 -> int8: もしもあの指導監査は攣るないならば「心するが行灯だということはない」ということは嘘である;
$facts$ = fact1: もしもその部内は行灯であるとすれば「あの指導監査は採草放牧地でない一方で深層である」ということは嘘である fact2: なにかは心する fact3: もしもその味噌はがめついとすると「その部内は深層だ」ということは成り立つ fact4: もし仮にあの準拠枠が深層である一方で各種委員会でないとするとそれはがめつかない fact5: 仮に「「採草放牧地でないしさらに入力部である」ということは間違いである」物があるとするとその味噌はがめつい fact6: あの指導監査は行灯だ fact7: もし仮にとある物は攣るないとしたら「心するしそれは行灯でない」ということは成り立たない fact8: あの準拠枠はがめつかないなら「その浚渫は採草放牧地でないがそれは入力部だ」ということは事実である fact9: あの細胞表面上は紛らせる fact10: あの指導監査は心する fact11: 仮にあのスライスアーモンドは攣るなら「その浚渫は裁判所書記官だ」ということは事実である fact12: あの準拠枠は深層であるけれど各種委員会でない fact13: その味噌は混入し易いしさらに目敏い fact14: 仮に「その浚渫は裁判所書記官である」ということは事実だとすると「あの準拠枠は採草放牧地でないがしかしそれは入力部だ」ということは間違いである fact15: その一人子は心する fact16: もし「「採草放牧地でない」ということは確かである」物はあるなら「あのスライスアーモンドは採草放牧地だ一方で攣るない」ということは事実と異なる fact17: もし仮になにかは入力部でないとすると「あの指導監査は採草放牧地でない」ということは成り立つ fact18: もし行灯が心するとするとあのスライスアーモンドは攣る ; $hypothesis$ = その部内は深層である ; $proof$ = 
fact6 & fact10 -> int1: あの指導監査は行灯だしさらに心する; int1 -> int2: 「行灯でしかも心する」物はある; int2 & fact18 -> int3: あのスライスアーモンドは攣る; int3 & fact11 -> int4: その浚渫は裁判所書記官である; int4 & fact14 -> int5: 「あの準拠枠は採草放牧地でないが入力部である」ということは間違っている; int5 -> int6: 「「採草放牧地だということはないがしかし入力部である」ということは間違っている」物はある; int6 & fact5 -> int7: その味噌はがめつい; int7 & fact3 -> hypothesis; __PROVED__
事実1: もしもその部内は行灯であるとすれば「あの指導監査は採草放牧地でない一方で深層である」ということは嘘である
事実2: なにかは心する
事実3: もしもその味噌はがめついとすると「その部内は深層だ」ということは成り立つ
事実4: もし仮にあの準拠枠が深層である一方で各種委員会でないとするとそれはがめつかない
事実5: 仮に「「採草放牧地でないしさらに入力部である」ということは間違いである」物があるとするとその味噌はがめつい
事実6: あの指導監査は行灯だ
事実7: もし仮にとある物は攣るないとしたら「心するしそれは行灯でない」ということは成り立たない
事実8: あの準拠枠はがめつかないなら「その浚渫は採草放牧地でないがそれは入力部だ」ということは事実である
事実9: あの細胞表面上は紛らせる
事実10: あの指導監査は心する
事実11: 仮にあのスライスアーモンドは攣るなら「その浚渫は裁判所書記官だ」ということは事実である
事実12: あの準拠枠は深層であるけれど各種委員会でない
事実13: その味噌は混入し易いしさらに目敏い
事実14: 仮に「その浚渫は裁判所書記官である」ということは事実だとすると「あの準拠枠は採草放牧地でないがしかしそれは入力部だ」ということは間違いである
事実15: その一人子は心する
事実16: もし「「採草放牧地でない」ということは確かである」物はあるなら「あのスライスアーモンドは採草放牧地だ一方で攣るない」ということは事実と異なる
事実17: もし仮になにかは入力部でないとすると「あの指導監査は採草放牧地でない」ということは成り立つ
事実18: もし行灯が心するとするとあのスライスアーモンドは攣る

仮説: その部内は深層である
1. 事実6と事実10から、推論1: "あの指導監査は行灯だしさらに心する"が導かれる
2. 推論1から、推論2: "「行灯でしかも心する」物はある"が導かれる
3. 推論2と事実18から、推論3: "あのスライスアーモンドは攣る"が導かれる
4. 推論3と事実11から、推論4: "その浚渫は裁判所書記官である"が導かれる
5. 推論4と事実14から、推論5: "「あの準拠枠は採草放牧地でないが入力部である」ということは間違っている"が導かれる
6. 推論5から、推論6: "「「採草放牧地だということはないがしかし入力部である」ということは間違っている」物はある"が導かれる
7. 推論6と事実5から、推論7: "その味噌はがめつい"が導かれる
8. 推論7と事実3から、仮説が導かれる

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