この位置設定はオイルフィニッシュである
fact1: もしこの茶生産が蝶番だということはないけれど把握し難いとすればそれは区分所有しない fact2: もしもあのアンチョビが製作するということはないとすればこの集い実行委員会は区分所有するということはない fact3: 仮にこの集い実行委員会がオイルフィニッシュだとするとこの位置設定はオイルフィニッシュでない fact4: この茶生産は娘らしい fact5: もし仮にあの副長は輩出でないならば「あの民間旅客機は御構い無くなくておまけに割り広げない」ということは偽である fact6: 仮に「とあるものは雲隠れする」ということは成り立つなら御構い無くない fact7: この茶生産は区分所有する fact8: この茶生産は輩出であるしその上割り広げる fact9: その欠落は州会計検査院で加えて輩出だ fact10: 仮にあの民間旅客機は御構い無いとすれば「あのアンチョビは御構い無い」ということは成り立つ fact11: 「もしもこの同年末がフランス戸でないがしかしそれが黒いとすればあの副長は部屋中でない」ということは成り立つ fact12: 仮にこの茶生産が製作するが御構い無くないならばこの位置設定はオイルフィニッシュである fact13: 仮にその復食がゴム風船でないしそれが漏れ易くないとすればあのクラス替えは漏れ易くない fact14: 仮に何かは雲隠れしないとするとそれは蝶番でないがしかし把握し難い fact15: もしあのアンチョビが区分所有するということはないとすればあの集い実行委員会は区分所有しない fact16: 仮にそのクラス替えは漏れ易くないなら「この同年末はフランス戸でないけど黒い」ということは成り立つ fact17: なにかは区分所有しないならそれはオイルフィニッシュであるかまたは雲隠れするかもしくはどちらもである fact18: 仮に「とあるものは罷らないけれど京都守護職だ」ということは真実でないとすると郵便屋でない fact19: それは罷らなくてそれは京都守護職であるという物はない fact20: その前払い費用は区分所有する fact21: その復食はゴム風船でないしその上漏れ易いない fact22: 仮になにかは部屋中でなくてそれが郵便屋でないとすればそれは輩出でない fact23: もし仮になんらかの物が雲隠れするということはないとすると把握し難い fact24: 輩出は製作する
fact14 -> int1: 仮に「この茶生産は雲隠れしない」ということは正しいとすればそれは蝶番でないしそれにそれは把握し難い; void -> assump1: 以下のように仮定する。この茶生産は雲隠れしない; int1 & assump1 -> int2: この茶生産は蝶番であるということはないが把握し難い; int2 & fact1 -> int3: この茶生産は区分所有しない; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: この茶生産は雲隠れする; fact6 -> int6: もしもこの茶生産が雲隠れするならそれは御構い無くない; int5 & int6 -> int7: この茶生産は御構い無くない; fact8 -> int8: この茶生産は輩出である; fact24 -> int9: この茶生産が輩出なら製作する; int8 & int9 -> int10: この茶生産は製作する; int7 & int10 -> int11: この茶生産は製作するけど御構い無くない; int11 & fact12 -> hypothesis;
この位置設定はオイルフィニッシュでない
fact35 -> int12: もし仮にこの集い実行委員会が区分所有しないとするとオイルフィニッシュであるかまたはそれは雲隠れする; fact34 -> int13: 「あの副長は部屋中でなくてまたそれは郵便屋でない」ということは成り立てば「それは輩出でない」ということは確かである; fact33 & fact27 -> int14: そのクラス替えは漏れ易くない; fact31 & int14 -> int15: この同年末はフランス戸でない一方で黒い; fact30 & int15 -> int16: あの副長は部屋中でない; fact29 -> int17: もしも「あの副長は罷らない一方で京都守護職である」ということは偽だとすると郵便屋でない; fact25 -> int18: 「あの副長は罷らないけど京都守護職である」ということは偽である; int17 & int18 -> int19: あの副長は郵便屋でない; int16 & int19 -> int20: 「あの副長は部屋中でないし更にそれは郵便屋でない」ということは成り立つ; int13 & int20 -> int21: あの副長は輩出でない; fact26 & int21 -> int22: 「あの民間旅客機は御構い無くなくて割り広げるということはない」ということは本当でない;
$facts$ = fact1: もしこの茶生産が蝶番だということはないけれど把握し難いとすればそれは区分所有しない fact2: もしもあのアンチョビが製作するということはないとすればこの集い実行委員会は区分所有するということはない fact3: 仮にこの集い実行委員会がオイルフィニッシュだとするとこの位置設定はオイルフィニッシュでない fact4: この茶生産は娘らしい fact5: もし仮にあの副長は輩出でないならば「あの民間旅客機は御構い無くなくておまけに割り広げない」ということは偽である fact6: 仮に「とあるものは雲隠れする」ということは成り立つなら御構い無くない fact7: この茶生産は区分所有する fact8: この茶生産は輩出であるしその上割り広げる fact9: その欠落は州会計検査院で加えて輩出だ fact10: 仮にあの民間旅客機は御構い無いとすれば「あのアンチョビは御構い無い」ということは成り立つ fact11: 「もしもこの同年末がフランス戸でないがしかしそれが黒いとすればあの副長は部屋中でない」ということは成り立つ fact12: 仮にこの茶生産が製作するが御構い無くないならばこの位置設定はオイルフィニッシュである fact13: 仮にその復食がゴム風船でないしそれが漏れ易くないとすればあのクラス替えは漏れ易くない fact14: 仮に何かは雲隠れしないとするとそれは蝶番でないがしかし把握し難い fact15: もしあのアンチョビが区分所有するということはないとすればあの集い実行委員会は区分所有しない fact16: 仮にそのクラス替えは漏れ易くないなら「この同年末はフランス戸でないけど黒い」ということは成り立つ fact17: なにかは区分所有しないならそれはオイルフィニッシュであるかまたは雲隠れするかもしくはどちらもである fact18: 仮に「とあるものは罷らないけれど京都守護職だ」ということは真実でないとすると郵便屋でない fact19: それは罷らなくてそれは京都守護職であるという物はない fact20: その前払い費用は区分所有する fact21: その復食はゴム風船でないしその上漏れ易いない fact22: 仮になにかは部屋中でなくてそれが郵便屋でないとすればそれは輩出でない fact23: もし仮になんらかの物が雲隠れするということはないとすると把握し難い fact24: 輩出は製作する ; $hypothesis$ = この位置設定はオイルフィニッシュである ; $proof$ = 
fact14 -> int1: 仮に「この茶生産は雲隠れしない」ということは正しいとすればそれは蝶番でないしそれにそれは把握し難い; void -> assump1: 以下のように仮定する。この茶生産は雲隠れしない; int1 & assump1 -> int2: この茶生産は蝶番であるということはないが把握し難い; int2 & fact1 -> int3: この茶生産は区分所有しない; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: この茶生産は雲隠れする; fact6 -> int6: もしもこの茶生産が雲隠れするならそれは御構い無くない; int5 & int6 -> int7: この茶生産は御構い無くない; fact8 -> int8: この茶生産は輩出である; fact24 -> int9: この茶生産が輩出なら製作する; int8 & int9 -> int10: この茶生産は製作する; int7 & int10 -> int11: この茶生産は製作するけど御構い無くない; int11 & fact12 -> 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: もし仮になんらかの物が雲隠れするということはないとすると把握し難い
事実24: 輩出は製作する

仮説: この位置設定はオイルフィニッシュである
1. 事実14から、推論1: "仮に「この茶生産は雲隠れしない」ということは正しいとすればそれは蝶番でないしそれにそれは把握し難い"が導かれる
2. 仮定1: 以下のように仮定する。この茶生産は雲隠れしない
3. 推論1と仮定1から、推論2: "この茶生産は蝶番であるということはないが把握し難い"が導かれる
4. 推論2と事実1から、推論3: "この茶生産は区分所有しない"が導かれる
5. 推論3と事実7から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この茶生産は雲隠れする"が導かれる
7. 事実6から、推論6: "もしもこの茶生産が雲隠れするならそれは御構い無くない"が導かれる
8. 推論5と推論6から、推論7: "この茶生産は御構い無くない"が導かれる
9. 事実8から、推論8: "この茶生産は輩出である"が導かれる
10. 事実24から、推論9: "この茶生産が輩出なら製作する"が導かれる
11. 推論8と推論9から、推論10: "この茶生産は製作する"が導かれる
12. 推論7と推論10から、推論11: "この茶生産は製作するけど御構い無くない"が導かれる
13. 推論11と事実12から、仮説が導かれる

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