この出稼ぎ奉公は身請けするということはない一方で部落問題だ
fact1: あるものが身請けしないとしたら逞しくてかつ煙たい fact2: もしもなにかは眠り込むしかつそれが逞しいならば部落問題でない fact3: あの隊は例外無い fact4: もしも何らかのものは眠り込まないが部落問題だとすればそれは身請けしない fact5: 仮にあの隊が山ちゃんでないならばそれはふやけるか例外無くないか両方だ fact6: もしあの隊が身請けするとすればあの出稼ぎ奉公は部落問題である fact7: この科学革命は猿類でないけれど注意深い fact8: あの隊は逞しくて身請けする fact9: もしあの隊が身請けするとするとこの出稼ぎ奉公は身請けするということはないけど部落問題である fact10: この術後鎮痛は逞しい fact11: なんらかのものがふやけるかもしくはそれは例外無いということはないかあるいはどちらもであるなら「逞しい」ということは正しい fact12: 「あの隊は眠り込む」ということは確かである
fact8 -> int1: あの隊は身請けする; int1 & fact9 -> hypothesis;
fact8 -> int1: {B}{a}; int1 & fact9 -> hypothesis;
「この出稼ぎ奉公は身請けしないがそれは部落問題だ」ということは成り立たない
fact13 -> int2: 仮にあの隊が眠り込むしそれに逞しいとすれば部落問題でない; fact14 -> int3: あの隊はふやけるか例外無いということはないかどちらもであるとするとそれは逞しい;
$facts$ = fact1: あるものが身請けしないとしたら逞しくてかつ煙たい fact2: もしもなにかは眠り込むしかつそれが逞しいならば部落問題でない fact3: あの隊は例外無い fact4: もしも何らかのものは眠り込まないが部落問題だとすればそれは身請けしない fact5: 仮にあの隊が山ちゃんでないならばそれはふやけるか例外無くないか両方だ fact6: もしあの隊が身請けするとすればあの出稼ぎ奉公は部落問題である fact7: この科学革命は猿類でないけれど注意深い fact8: あの隊は逞しくて身請けする fact9: もしあの隊が身請けするとするとこの出稼ぎ奉公は身請けするということはないけど部落問題である fact10: この術後鎮痛は逞しい fact11: なんらかのものがふやけるかもしくはそれは例外無いということはないかあるいはどちらもであるなら「逞しい」ということは正しい fact12: 「あの隊は眠り込む」ということは確かである ; $hypothesis$ = この出稼ぎ奉公は身請けするということはない一方で部落問題だ ; $proof$ = 
fact8 -> int1: あの隊は身請けする; int1 & fact9 -> hypothesis; __PROVED__
事実1: あるものが身請けしないとしたら逞しくてかつ煙たい
事実2: もしもなにかは眠り込むしかつそれが逞しいならば部落問題でない
事実3: あの隊は例外無い
事実4: もしも何らかのものは眠り込まないが部落問題だとすればそれは身請けしない
事実5: 仮にあの隊が山ちゃんでないならばそれはふやけるか例外無くないか両方だ
事実6: もしあの隊が身請けするとすればあの出稼ぎ奉公は部落問題である
事実7: この科学革命は猿類でないけれど注意深い
事実8: あの隊は逞しくて身請けする
事実9: もしあの隊が身請けするとするとこの出稼ぎ奉公は身請けするということはないけど部落問題である
事実10: この術後鎮痛は逞しい
事実11: なんらかのものがふやけるかもしくはそれは例外無いということはないかあるいはどちらもであるなら「逞しい」ということは正しい
事実12: 「あの隊は眠り込む」ということは確かである

仮説: この出稼ぎ奉公は身請けするということはない一方で部落問題だ
1. 事実8から、推論1: "あの隊は身請けする"が導かれる
2. 推論1と事実9から、仮説が導かれる

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