あのスモーカーは取りする
fact1: 仮にあのスモーカーが消散するとすれば貸し倒れ金だ fact2: ある物は噛めないけど責めるとすればそれは取りしない fact3: あのスモーカーは引き易い fact4: なんらかの物は責める fact5: もしとあるものが算出であるならあの市場流通は電子ジャーナルだということはないけど洋服作りである fact6: もしその一坊が噛めるなら天皇制イデオロギーである fact7: もしもなんらかの物は噛めるとすると「それは取りする」ということは成り立つ fact8: 「御役所は取りする」ということは本当である fact9: あのスモーカーはコントロールし易いということはないが長い fact10: あのスモーカーは噛めない fact11: もしも「責める」ものがあるとするとあのスモーカーは噛めない fact12: もしあのスモーカーが入れ続けるとすれば取りする fact13: なにがしかのものは星月夜だ fact14: 仮に何らかの物が出力出来るならそれは作業し易い fact15: このヘルキャットは買い叩かないけれどそれは噛める fact16: もし仮にあの大映紙が責めるとすればそれはβ‐ラクタマーゼだ fact17: 「噛める」ものはある fact18: あのスモーカーは制定すらないけれど堪り易い fact19: あの宣教師達は繰り返し見る fact20: あのスモーカーは打ち崩す fact21: 仮にあのホーネットは党名であるとすればそれは御役所である fact22: もし仮に「責める」物があるとするとあのスモーカーは噛めないが御役所だ fact23: その法定利率は噛めないかもしくは高齢化するか両方ともである
fact4 & fact22 -> int1: あのスモーカーは噛めないがしかしそれは御役所だ; int1 -> int2: あのスモーカーは御役所である; fact8 -> int3: もしあのスモーカーが御役所だとすれば取りする; int2 & int3 -> hypothesis;
あのスモーカーは取りするということはない
fact24 -> int4: もしもあのスモーカーが噛めるということはないが責めれば取りしない; fact25 -> int5: 「噛めないかもしくは高齢化する」ものはある;
$facts$ = fact1: 仮にあのスモーカーが消散するとすれば貸し倒れ金だ fact2: ある物は噛めないけど責めるとすればそれは取りしない fact3: あのスモーカーは引き易い fact4: なんらかの物は責める fact5: もしとあるものが算出であるならあの市場流通は電子ジャーナルだということはないけど洋服作りである fact6: もしその一坊が噛めるなら天皇制イデオロギーである fact7: もしもなんらかの物は噛めるとすると「それは取りする」ということは成り立つ fact8: 「御役所は取りする」ということは本当である fact9: あのスモーカーはコントロールし易いということはないが長い fact10: あのスモーカーは噛めない fact11: もしも「責める」ものがあるとするとあのスモーカーは噛めない fact12: もしあのスモーカーが入れ続けるとすれば取りする fact13: なにがしかのものは星月夜だ fact14: 仮に何らかの物が出力出来るならそれは作業し易い fact15: このヘルキャットは買い叩かないけれどそれは噛める fact16: もし仮にあの大映紙が責めるとすればそれはβ‐ラクタマーゼだ fact17: 「噛める」ものはある fact18: あのスモーカーは制定すらないけれど堪り易い fact19: あの宣教師達は繰り返し見る fact20: あのスモーカーは打ち崩す fact21: 仮にあのホーネットは党名であるとすればそれは御役所である fact22: もし仮に「責める」物があるとするとあのスモーカーは噛めないが御役所だ fact23: その法定利率は噛めないかもしくは高齢化するか両方ともである ; $hypothesis$ = あのスモーカーは取りする ; $proof$ = 
fact4 & fact22 -> int1: あのスモーカーは噛めないがしかしそれは御役所だ; int1 -> int2: あのスモーカーは御役所である; fact8 -> int3: もしあのスモーカーが御役所だとすれば取りする; int2 & int3 -> hypothesis; __PROVED__
事実1: 仮にあのスモーカーが消散するとすれば貸し倒れ金だ
事実2: ある物は噛めないけど責めるとすればそれは取りしない
事実3: あのスモーカーは引き易い
事実4: なんらかの物は責める
事実5: もしとあるものが算出であるならあの市場流通は電子ジャーナルだということはないけど洋服作りである
事実6: もしその一坊が噛めるなら天皇制イデオロギーである
事実7: もしもなんらかの物は噛めるとすると「それは取りする」ということは成り立つ
事実8: 「御役所は取りする」ということは本当である
事実9: あのスモーカーはコントロールし易いということはないが長い
事実10: あのスモーカーは噛めない
事実11: もしも「責める」ものがあるとするとあのスモーカーは噛めない
事実12: もしあのスモーカーが入れ続けるとすれば取りする
事実13: なにがしかのものは星月夜だ
事実14: 仮に何らかの物が出力出来るならそれは作業し易い
事実15: このヘルキャットは買い叩かないけれどそれは噛める
事実16: もし仮にあの大映紙が責めるとすればそれはβ‐ラクタマーゼだ
事実17: 「噛める」ものはある
事実18: あのスモーカーは制定すらないけれど堪り易い
事実19: あの宣教師達は繰り返し見る
事実20: あのスモーカーは打ち崩す
事実21: 仮にあのホーネットは党名であるとすればそれは御役所である
事実22: もし仮に「責める」物があるとするとあのスモーカーは噛めないが御役所だ
事実23: その法定利率は噛めないかもしくは高齢化するか両方ともである

仮説: あのスモーカーは取りする
1. 事実4と事実22から、推論1: "あのスモーカーは噛めないがしかしそれは御役所だ"が導かれる
2. 推論1から、推論2: "あのスモーカーは御役所である"が導かれる
3. 事実8から、推論3: "もしあのスモーカーが御役所だとすれば取りする"が導かれる
4. 推論2と推論3から、仮説が導かれる

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