あの下請け負人選定者は絞り汁である
fact1: 「アイでなくてそれに繁栄し続ける」ものはある fact2: 「あの適用可能性有りは荒む一方でそれは新規シンボルでない」ということは誤りである fact3: 何らかの物は狭窄しない fact4: もし仮に「あの適用可能性有りは荒むがしかしそれは新規シンボルでない」ということは間違いならばスークでない fact5: 男の子らしい物は絞り汁である fact6: 「絞り汁でなくてまた荒むということはない」物はある fact7: もし仮にとある物は即座でないとすると「それは木らしくない」ということは成り立つ fact8: ある物は狭窄しないしかつスークでないとしたらそれは絞り汁でない fact9: もし仮になんらかの物はスークでないとしたらそれは狭窄するということはないしかつ行き着けるということはない fact10: もしもあの適用可能性有りが眩しいとしたら怒鳴り返す fact11: あの適用可能性有りは行き着けない fact12: 「狭窄するし行き着けない」ものはある fact13: 仮に「狭窄しないし更に行き着けない」ものがあるとするとあの下請け負人選定者は男の子らしい fact14: もしもあの適用可能性有りはスークであるということはないとするとそれは行き着けるない
fact4 & fact2 -> int1: あの適用可能性有りはスークでない; fact9 -> int2: もし仮にあの適用可能性有りがスークだということはないとしたらそれは狭窄しないしそれは行き着けるない; int1 & int2 -> int3: あの適用可能性有りは狭窄しないしまたそれは行き着けるない; int3 -> int4: 「狭窄しないしさらに行き着けない」ものはある; int4 & fact13 -> int5: あの下請け負人選定者は男の子らしい; fact5 -> int6: 「あの下請け負人選定者は男の子らしい」ということは成り立つとしたら絞り汁だ; int5 & int6 -> hypothesis;
あの下請け負人選定者は絞り汁でない
fact15 -> int7: 「仮にあの下請け負人選定者が狭窄するということはなくてスークでないならばあの下請け負人選定者は絞り汁でない」ということは正しい;
$facts$ = fact1: 「アイでなくてそれに繁栄し続ける」ものはある fact2: 「あの適用可能性有りは荒む一方でそれは新規シンボルでない」ということは誤りである fact3: 何らかの物は狭窄しない fact4: もし仮に「あの適用可能性有りは荒むがしかしそれは新規シンボルでない」ということは間違いならばスークでない fact5: 男の子らしい物は絞り汁である fact6: 「絞り汁でなくてまた荒むということはない」物はある fact7: もし仮にとある物は即座でないとすると「それは木らしくない」ということは成り立つ fact8: ある物は狭窄しないしかつスークでないとしたらそれは絞り汁でない fact9: もし仮になんらかの物はスークでないとしたらそれは狭窄するということはないしかつ行き着けるということはない fact10: もしもあの適用可能性有りが眩しいとしたら怒鳴り返す fact11: あの適用可能性有りは行き着けない fact12: 「狭窄するし行き着けない」ものはある fact13: 仮に「狭窄しないし更に行き着けない」ものがあるとするとあの下請け負人選定者は男の子らしい fact14: もしもあの適用可能性有りはスークであるということはないとするとそれは行き着けるない ; $hypothesis$ = あの下請け負人選定者は絞り汁である ; $proof$ = 
fact4 & fact2 -> int1: あの適用可能性有りはスークでない; fact9 -> int2: もし仮にあの適用可能性有りがスークだということはないとしたらそれは狭窄しないしそれは行き着けるない; int1 & int2 -> int3: あの適用可能性有りは狭窄しないしまたそれは行き着けるない; int3 -> int4: 「狭窄しないしさらに行き着けない」ものはある; int4 & fact13 -> int5: あの下請け負人選定者は男の子らしい; fact5 -> int6: 「あの下請け負人選定者は男の子らしい」ということは成り立つとしたら絞り汁だ; int5 & int6 -> hypothesis; __PROVED__
事実1: 「アイでなくてそれに繁栄し続ける」ものはある
事実2: 「あの適用可能性有りは荒む一方でそれは新規シンボルでない」ということは誤りである
事実3: 何らかの物は狭窄しない
事実4: もし仮に「あの適用可能性有りは荒むがしかしそれは新規シンボルでない」ということは間違いならばスークでない
事実5: 男の子らしい物は絞り汁である
事実6: 「絞り汁でなくてまた荒むということはない」物はある
事実7: もし仮にとある物は即座でないとすると「それは木らしくない」ということは成り立つ
事実8: ある物は狭窄しないしかつスークでないとしたらそれは絞り汁でない
事実9: もし仮になんらかの物はスークでないとしたらそれは狭窄するということはないしかつ行き着けるということはない
事実10: もしもあの適用可能性有りが眩しいとしたら怒鳴り返す
事実11: あの適用可能性有りは行き着けない
事実12: 「狭窄するし行き着けない」ものはある
事実13: 仮に「狭窄しないし更に行き着けない」ものがあるとするとあの下請け負人選定者は男の子らしい
事実14: もしもあの適用可能性有りはスークであるということはないとするとそれは行き着けるない

仮説: あの下請け負人選定者は絞り汁である
1. 事実4と事実2から、推論1: "あの適用可能性有りはスークでない"が導かれる
2. 事実9から、推論2: "もし仮にあの適用可能性有りがスークだということはないとしたらそれは狭窄しないしそれは行き着けるない"が導かれる
3. 推論1と推論2から、推論3: "あの適用可能性有りは狭窄しないしまたそれは行き着けるない"が導かれる
4. 推論3から、推論4: "「狭窄しないしさらに行き着けない」ものはある"が導かれる
5. 推論4と事実13から、推論5: "あの下請け負人選定者は男の子らしい"が導かれる
6. 事実5から、推論6: "「あの下請け負人選定者は男の子らしい」ということは成り立つとしたら絞り汁だ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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