あのドローレスは難しかない
fact1: もし仮に「とあるものはひょろ長くないけれど誅する」ということは成り立つということはないとすればそれは歩き辛いということはない fact2: 「「戻し入れするかあるいは薄いか両方である」ということは誤っている」ものはある fact3: もしあのドローレスが難しいしネットワーク外部性であるとすればあの作業現場は甲州人でない fact4: 「「戻し入れしないかもしくは薄いかまたはどちらもである」ということは間違いな」ものはある fact5: あの作業現場が勤務時間内で更にネットワーク外部性であるとするとこのフローチャートは瞳でない fact6: もしもこのフローチャートがネットワーク外部性でないならばあの作業現場は甲州人であるけどネットワーク外部性でない fact7: 「その総辞職は共和派であるかあるいは勤務時間内でないかあるいは両方ともだ」ということは成り立たない fact8: この休憩時間がネットワーク外部性だということはないならばあのフローチャートは勤務時間内だがそれはネットワーク外部性でない fact9: なんらかのものは半導体技術だということはない fact10: あのドローレスは薄い fact11: 「薄くない」物はある fact12: この休憩時間が堪り易いしネットワーク外部性だとすればあのフローチャートは瞳でない fact13: 仮に「「戻し入れしないかもしくは薄いかまたは両方ともである」ということは成り立つということはない」ものがあるとしたらこの休憩時間は堪り易い fact14: 「もし仮にあの作業現場が甲州人だがネットワーク外部性でないならあのドローレスは難しかない」ということは正しい fact15: もしも「その総辞職は共和派であるかまたはそれは勤務時間内であるということはない」ということは間違いだとすればあの作業現場は勤務時間内である fact16: もしあるものは勤務時間内であるとしたら甲州人である fact17: もし仮にこの休憩時間が堪り易いしおまけに瞳だとすればこのフローチャートはネットワーク外部性でない fact18: 「この休憩時間は勤務時間内だ」ということは成り立つとすればそれは瞳だ fact19: その構築技術は正課でない fact20: あの作業現場が甲州人であるけれど歩き辛くないとするとこのフローチャートは甲州人である fact21: この休憩時間は勤務時間内である fact22: 「この休憩時間は甲州人だ」ということは確かである fact23: このフローチャートは堪り易いということはない fact24: もし仮に「この休憩時間は瞳だということはなくて更に難しかない」ということは間違いであるということはないとすれば「あのドローレスは難しかない」ということは真実でない fact25: あの作業現場は甲州人だ fact26: 仮にこのフローチャートがネットワーク外部性だし甲州人であるとしたらこの休憩時間は堪り易くない
fact4 & fact13 -> int1: この休憩時間は堪り易い; fact18 & fact21 -> int2: この休憩時間は瞳である; int1 & int2 -> int3: この休憩時間は堪り易いしさらに瞳だ; int3 & fact17 -> int4: このフローチャートはネットワーク外部性でない; int4 & fact6 -> int5: あの作業現場は甲州人であるけどネットワーク外部性でない; int5 & fact14 -> hypothesis;
「あのドローレスは難しい」ということは正しい
fact31 -> int6: もしもあの作業現場は勤務時間内だとすれば「それは甲州人である」ということは偽でない; fact28 & fact34 -> int7: あの作業現場は勤務時間内である; int6 & int7 -> int8: あの作業現場は甲州人だ; fact30 -> int9: もしも「あの作業現場はひょろ長くないけど誅する」ということは間違いであるならば「歩き辛くない」ということは成り立つ; fact29 -> int10: 「正課でない」物はある;
$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: もし仮に「この休憩時間は瞳だということはなくて更に難しかない」ということは間違いであるということはないとすれば「あのドローレスは難しかない」ということは真実でない fact25: あの作業現場は甲州人だ fact26: 仮にこのフローチャートがネットワーク外部性だし甲州人であるとしたらこの休憩時間は堪り易くない ; $hypothesis$ = あのドローレスは難しかない ; $proof$ = 
fact4 & fact13 -> int1: この休憩時間は堪り易い; fact18 & fact21 -> int2: この休憩時間は瞳である; int1 & int2 -> int3: この休憩時間は堪り易いしさらに瞳だ; int3 & fact17 -> int4: このフローチャートはネットワーク外部性でない; int4 & fact6 -> int5: あの作業現場は甲州人であるけどネットワーク外部性でない; int5 & fact14 -> 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: もし仮に「この休憩時間は瞳だということはなくて更に難しかない」ということは間違いであるということはないとすれば「あのドローレスは難しかない」ということは真実でない
事実25: あの作業現場は甲州人だ
事実26: 仮にこのフローチャートがネットワーク外部性だし甲州人であるとしたらこの休憩時間は堪り易くない

仮説: あのドローレスは難しかない
1. 事実4と事実13から、推論1: "この休憩時間は堪り易い"が導かれる
2. 事実18と事実21から、推論2: "この休憩時間は瞳である"が導かれる
3. 推論1と推論2から、推論3: "この休憩時間は堪り易いしさらに瞳だ"が導かれる
4. 推論3と事実17から、推論4: "このフローチャートはネットワーク外部性でない"が導かれる
5. 推論4と事実6から、推論5: "あの作業現場は甲州人であるけどネットワーク外部性でない"が導かれる
6. 推論5と事実14から、仮説が導かれる

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