その就業機会は共鳴しない
fact1: もしその就業機会が重くないならばその御寿司は重くない fact2: その御寿司はウッ機でない fact3: もし仮に「その就業機会は好ましいということはないけれどそれは怪し」ということは間違いならば「その日付けデータは晴々しい」ということは事実だ fact4: 難しい物は小狡い fact5: もし仮にあるものは導き得るかまたは誘発し易いとすれば「この撰時抄は導き得る」ということは成り立つ fact6: もし仮にその御寿司が怪しとするとその就業機会は小狡い fact7: その日付けデータは供給すらない fact8: もし仮にこの撰時抄が導き得るしそれに晴々しいならばその御寿司は小狡くない fact9: その就業機会が小狡くないとすればそれは好ましいかそれは怪しかまたは両方ともである fact10: その御寿司は共鳴するということはない fact11: もし仮にその日付けデータが共鳴するとすればその就業機会は共鳴する fact12: その就業機会は好ましいならば「それはウッ機でないけど怪し」ということは誤っている fact13: もしも「好ましいかあるいは意地悪い」ものがあるとするとこの撰時抄は好ましい fact14: 仮にその就業機会は共鳴するなら「好ましくないけれど怪し」ということは誤っている fact15: とある物は導き得るかそれは誘発し易いかあるいは両方である fact16: 仮になにかはウッ機でないとすればそれは供給すかまたはそれは難しいかどちらもである fact17: もしもその御寿司が供給すとするとそれは小狡い fact18: もしもその日付けデータが晴々しいならばこの撰時抄は意地悪くないけれど晴々しい
void -> assump1: 以下のように仮定する。その就業機会は共鳴する; fact14 & assump1 -> int1: 「その就業機会は好ましくないけど怪し」ということは間違っている; int1 & fact3 -> int2: その日付けデータは晴々しい; int2 & fact18 -> int3: この撰時抄は意地悪くないがしかし晴々しい; int3 -> int4: この撰時抄は晴々しい; fact15 & fact5 -> int5: この撰時抄は導き得る; int4 & int5 -> int6: この撰時抄は導き得るし晴々しい; int6 & fact8 -> int7: その御寿司は小狡くない; fact16 -> int8: 仮にその御寿司はウッ機でないとするとそれは供給すか難しいかあるいはどちらもだ; fact2 & int8 -> int9: その御寿司は供給すかあるいは難しいかあるいは両方である; fact4 -> int10: もしもその御寿司は難しいとすれば「小狡い」ということは成り立つ; int9 & fact17 & int10 -> int11: その御寿司は小狡い; int7 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis;
その就業機会は共鳴する
$facts$ = fact1: もしその就業機会が重くないならばその御寿司は重くない fact2: その御寿司はウッ機でない fact3: もし仮に「その就業機会は好ましいということはないけれどそれは怪し」ということは間違いならば「その日付けデータは晴々しい」ということは事実だ fact4: 難しい物は小狡い fact5: もし仮にあるものは導き得るかまたは誘発し易いとすれば「この撰時抄は導き得る」ということは成り立つ fact6: もし仮にその御寿司が怪しとするとその就業機会は小狡い fact7: その日付けデータは供給すらない fact8: もし仮にこの撰時抄が導き得るしそれに晴々しいならばその御寿司は小狡くない fact9: その就業機会が小狡くないとすればそれは好ましいかそれは怪しかまたは両方ともである fact10: その御寿司は共鳴するということはない fact11: もし仮にその日付けデータが共鳴するとすればその就業機会は共鳴する fact12: その就業機会は好ましいならば「それはウッ機でないけど怪し」ということは誤っている fact13: もしも「好ましいかあるいは意地悪い」ものがあるとするとこの撰時抄は好ましい fact14: 仮にその就業機会は共鳴するなら「好ましくないけれど怪し」ということは誤っている fact15: とある物は導き得るかそれは誘発し易いかあるいは両方である fact16: 仮になにかはウッ機でないとすればそれは供給すかまたはそれは難しいかどちらもである fact17: もしもその御寿司が供給すとするとそれは小狡い fact18: もしもその日付けデータが晴々しいならばこの撰時抄は意地悪くないけれど晴々しい ; $hypothesis$ = その就業機会は共鳴しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その就業機会は共鳴する; fact14 & assump1 -> int1: 「その就業機会は好ましくないけど怪し」ということは間違っている; int1 & fact3 -> int2: その日付けデータは晴々しい; int2 & fact18 -> int3: この撰時抄は意地悪くないがしかし晴々しい; int3 -> int4: この撰時抄は晴々しい; fact15 & fact5 -> int5: この撰時抄は導き得る; int4 & int5 -> int6: この撰時抄は導き得るし晴々しい; int6 & fact8 -> int7: その御寿司は小狡くない; fact16 -> int8: 仮にその御寿司はウッ機でないとするとそれは供給すか難しいかあるいはどちらもだ; fact2 & int8 -> int9: その御寿司は供給すかあるいは難しいかあるいは両方である; fact4 -> int10: もしもその御寿司は難しいとすれば「小狡い」ということは成り立つ; int9 & fact17 & int10 -> int11: その御寿司は小狡い; int7 & int11 -> int12: これは矛盾である; [assump1] & int12 -> hypothesis; __PROVED__
事実1: もしその就業機会が重くないならばその御寿司は重くない
事実2: その御寿司はウッ機でない
事実3: もし仮に「その就業機会は好ましいということはないけれどそれは怪し」ということは間違いならば「その日付けデータは晴々しい」ということは事実だ
事実4: 難しい物は小狡い
事実5: もし仮にあるものは導き得るかまたは誘発し易いとすれば「この撰時抄は導き得る」ということは成り立つ
事実6: もし仮にその御寿司が怪しとするとその就業機会は小狡い
事実7: その日付けデータは供給すらない
事実8: もし仮にこの撰時抄が導き得るしそれに晴々しいならばその御寿司は小狡くない
事実9: その就業機会が小狡くないとすればそれは好ましいかそれは怪しかまたは両方ともである
事実10: その御寿司は共鳴するということはない
事実11: もし仮にその日付けデータが共鳴するとすればその就業機会は共鳴する
事実12: その就業機会は好ましいならば「それはウッ機でないけど怪し」ということは誤っている
事実13: もしも「好ましいかあるいは意地悪い」ものがあるとするとこの撰時抄は好ましい
事実14: 仮にその就業機会は共鳴するなら「好ましくないけれど怪し」ということは誤っている
事実15: とある物は導き得るかそれは誘発し易いかあるいは両方である
事実16: 仮になにかはウッ機でないとすればそれは供給すかまたはそれは難しいかどちらもである
事実17: もしもその御寿司が供給すとするとそれは小狡い
事実18: もしもその日付けデータが晴々しいならばこの撰時抄は意地悪くないけれど晴々しい

仮説: その就業機会は共鳴しない
1. 仮定1: 以下のように仮定する。その就業機会は共鳴する
2. 事実14と仮定1から、推論1: "「その就業機会は好ましくないけど怪し」ということは間違っている"が導かれる
3. 推論1と事実3から、推論2: "その日付けデータは晴々しい"が導かれる
4. 推論2と事実18から、推論3: "この撰時抄は意地悪くないがしかし晴々しい"が導かれる
5. 推論3から、推論4: "この撰時抄は晴々しい"が導かれる
6. 事実15と事実5から、推論5: "この撰時抄は導き得る"が導かれる
7. 推論4と推論5から、推論6: "この撰時抄は導き得るし晴々しい"が導かれる
8. 推論6と事実8から、推論7: "その御寿司は小狡くない"が導かれる
9. 事実16から、推論8: "仮にその御寿司はウッ機でないとするとそれは供給すか難しいかあるいはどちらもだ"が導かれる
10. 事実2と推論8から、推論9: "その御寿司は供給すかあるいは難しいかあるいは両方である"が導かれる
11. 事実4から、推論10: "もしもその御寿司は難しいとすれば「小狡い」ということは成り立つ"が導かれる
12. 推論9と事実17と推論10から、推論11: "その御寿司は小狡い"が導かれる
13. 推論7と推論11から、推論12: "これは矛盾である"が導かれる
14. [仮定1]と推論12から、仮説が導かれる

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