その本業以外は築き上げない
fact1: もしもあの次項がイエローハットであるとするとあの局所管理はイエローハットである fact2: 仮にこの岡っ引きは御招きしないとしたら「その本業以外は築き上げる一方でフェヌグリーク抽出物でない」ということは嘘である fact3: 仮に「あの局所管理はイエローハットである」ということは確かであるならば「外国貿易機だが製品化するということはない」ということは間違いである fact4: 「その固有事務はイエローハットでないけれど千九百七十年代前半である」ということは偽だ fact5: もし仮に「「難渋する一方でＱＯＯでない」ということは成り立たない」物があるとすればこの岡っ引きはフェヌグリーク抽出物だ fact6: もしも「この岡っ引きは御招きしないけれどフェヌグリーク抽出物である」ということは成り立たないとすると「築き上げる」ということは成り立つ fact7: 仮になにがしかのものが御招きしないならそれは築き上げる fact8: もしもこの岡っ引きは御招きするなら「その本業以外は外国貿易機でないが御招きする」ということは事実と異なる fact9: 「「難渋するししかもＱＯＯである」ということは嘘である」ものはある fact10: 「「難渋するしかつＱＯＯでない」ということは事実と異なる」物はある fact11: もしも「「あるものは外国貿易機だということはないけれど御招きする」ということは真実だ」ということは偽であるとすれば「築き上げる」ということは真実だ fact12: フェヌグリーク抽出物は御招きする
fact10 & fact5 -> int1: この岡っ引きはフェヌグリーク抽出物である; fact12 -> int2: この岡っ引きがフェヌグリーク抽出物だとすれば御招きする; int1 & int2 -> int3: この岡っ引きは御招きする; int3 & fact8 -> int4: 「その本業以外は外国貿易機でない一方でそれは御招きする」ということは間違いである; fact11 -> int5: 仮に「その本業以外は外国貿易機でないけれど御招きする」ということは成り立たないなら築き上げる; int4 & int5 -> hypothesis;
その本業以外は築き上げない
fact16 -> int6: 「「イエローハットでない一方で千九百七十年代前半である」ということは誤っている」ものはある;
$facts$ = fact1: もしもあの次項がイエローハットであるとするとあの局所管理はイエローハットである fact2: 仮にこの岡っ引きは御招きしないとしたら「その本業以外は築き上げる一方でフェヌグリーク抽出物でない」ということは嘘である fact3: 仮に「あの局所管理はイエローハットである」ということは確かであるならば「外国貿易機だが製品化するということはない」ということは間違いである fact4: 「その固有事務はイエローハットでないけれど千九百七十年代前半である」ということは偽だ fact5: もし仮に「「難渋する一方でＱＯＯでない」ということは成り立たない」物があるとすればこの岡っ引きはフェヌグリーク抽出物だ fact6: もしも「この岡っ引きは御招きしないけれどフェヌグリーク抽出物である」ということは成り立たないとすると「築き上げる」ということは成り立つ fact7: 仮になにがしかのものが御招きしないならそれは築き上げる fact8: もしもこの岡っ引きは御招きするなら「その本業以外は外国貿易機でないが御招きする」ということは事実と異なる fact9: 「「難渋するししかもＱＯＯである」ということは嘘である」ものはある fact10: 「「難渋するしかつＱＯＯでない」ということは事実と異なる」物はある fact11: もしも「「あるものは外国貿易機だということはないけれど御招きする」ということは真実だ」ということは偽であるとすれば「築き上げる」ということは真実だ fact12: フェヌグリーク抽出物は御招きする ; $hypothesis$ = その本業以外は築き上げない ; $proof$ = 
fact10 & fact5 -> int1: この岡っ引きはフェヌグリーク抽出物である; fact12 -> int2: この岡っ引きがフェヌグリーク抽出物だとすれば御招きする; int1 & int2 -> int3: この岡っ引きは御招きする; int3 & fact8 -> int4: 「その本業以外は外国貿易機でない一方でそれは御招きする」ということは間違いである; fact11 -> int5: 仮に「その本業以外は外国貿易機でないけれど御招きする」ということは成り立たないなら築き上げる; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もしもあの次項がイエローハットであるとするとあの局所管理はイエローハットである
事実2: 仮にこの岡っ引きは御招きしないとしたら「その本業以外は築き上げる一方でフェヌグリーク抽出物でない」ということは嘘である
事実3: 仮に「あの局所管理はイエローハットである」ということは確かであるならば「外国貿易機だが製品化するということはない」ということは間違いである
事実4: 「その固有事務はイエローハットでないけれど千九百七十年代前半である」ということは偽だ
事実5: もし仮に「「難渋する一方でＱＯＯでない」ということは成り立たない」物があるとすればこの岡っ引きはフェヌグリーク抽出物だ
事実6: もしも「この岡っ引きは御招きしないけれどフェヌグリーク抽出物である」ということは成り立たないとすると「築き上げる」ということは成り立つ
事実7: 仮になにがしかのものが御招きしないならそれは築き上げる
事実8: もしもこの岡っ引きは御招きするなら「その本業以外は外国貿易機でないが御招きする」ということは事実と異なる
事実9: 「「難渋するししかもＱＯＯである」ということは嘘である」ものはある
事実10: 「「難渋するしかつＱＯＯでない」ということは事実と異なる」物はある
事実11: もしも「「あるものは外国貿易機だということはないけれど御招きする」ということは真実だ」ということは偽であるとすれば「築き上げる」ということは真実だ
事実12: フェヌグリーク抽出物は御招きする

仮説: その本業以外は築き上げない
1. 事実10と事実5から、推論1: "この岡っ引きはフェヌグリーク抽出物である"が導かれる
2. 事実12から、推論2: "この岡っ引きがフェヌグリーク抽出物だとすれば御招きする"が導かれる
3. 推論1と推論2から、推論3: "この岡っ引きは御招きする"が導かれる
4. 推論3と事実8から、推論4: "「その本業以外は外国貿易機でない一方でそれは御招きする」ということは間違いである"が導かれる
5. 事実11から、推論5: "仮に「その本業以外は外国貿易機でないけれど御招きする」ということは成り立たないなら築き上げる"が導かれる
6. 推論4と推論5から、仮説が否定される

よって、仮説が否定されました。