あの流域全体が快くないとすればこの準禁治産者名簿は軽いということはない
fact1: あの流域全体は来談する fact2: 「快い」ものはある fact3: もしもこの鍛造品がクリアすればそれは大八車である fact4: もしも何らかのものは出回らないならば「それは快いしその上波打つ」ということは誤りだ fact5: 「この会同は具備すらないししかもそれは調和し難くない」ということは偽だ fact6: もし仮にこの鍛造品は調和し難いということはないとしたら「あの流域全体は具備すらないかまたは軽いかあるいは両方だ」ということは成り立たない fact7: もしこの鍛造品が大八車だしかつ当つとすると調和し難いということはない fact8: もしもあの流域全体が波打つけど快くないとするとこの鍛造品は出回る fact9: この鍛造品は当つ fact10: 仮になにかは進路指導で更に出回るなら「この準禁治産者名簿は軽いということはない」ということは成り立つ fact11: あの流域全体は来談するしさらにけたたましい fact12: 仮に「この会同が具備すらないしさらに調和し難くない」ということは嘘であるとすればこの鍛造品は具備す fact13: この準禁治産者名簿は具備すらない fact14: もしあの流域全体はけたたましいならば「それは波打たない」ということは嘘だ fact15: もしこの鍛造品が具備すならそれは進路指導である fact16: 仮に「とある物は具備すらないかもしくはそれは軽いかもしくはどちらもである」ということは事実と異なるとすればそれは出回らない fact17: けたたましくないものは来談するし進路指導である fact18: この鍛造品はクリアする
fact11 -> int1: あの流域全体はけたたましい; int1 & fact14 -> int2: あの流域全体は波打つ; void -> assump1: 以下のように仮定する。「あの流域全体は快くない」ということは偽でない; int2 & assump1 -> int3: あの流域全体は波打つ一方で快くない; int3 & fact8 -> int4: この鍛造品は出回る; fact12 & fact5 -> int5: この鍛造品は具備す; int5 & fact15 -> int6: この鍛造品は進路指導だ; int4 & int6 -> int7: この鍛造品は進路指導であるしさらにそれは出回る; int7 -> int8: とある物は進路指導であるし出回る; int8 & fact10 -> int9: この準禁治産者名簿は軽くない; [assump1] & int9 -> hypothesis;
「その現地採用は進路指導である」ということは成り立つ
fact22 -> int10: もしその現地採用がけたたましくないならばそれは来談するしそれは進路指導だ; fact25 -> int11: あの流域全体は出回らないとしたら「快いし加えてそれは波打つ」ということは嘘である; fact21 -> int12: もしも「あの流域全体は具備すらないかもしくは軽いかあるいは両方ともである」ということは間違いだとすると出回るということはない; fact24 & fact23 -> int13: この鍛造品は大八車だ; int13 & fact26 -> int14: この鍛造品が大八車だししかもそれは当つ; fact20 & int14 -> int15: この鍛造品は調和し難くない; fact19 & int15 -> int16: 「あの流域全体は具備すらないかまたは軽いかもしくは両方だ」ということは間違いである; int12 & int16 -> int17: あの流域全体は出回らない; int11 & int17 -> int18: 「あの流域全体は快いしおまけに波打つ」ということは誤っている; int18 -> int19: 「「快いし加えて波打つ」ということは事実でない」ものはある;
$facts$ = fact1: あの流域全体は来談する fact2: 「快い」ものはある fact3: もしもこの鍛造品がクリアすればそれは大八車である fact4: もしも何らかのものは出回らないならば「それは快いしその上波打つ」ということは誤りだ fact5: 「この会同は具備すらないししかもそれは調和し難くない」ということは偽だ fact6: もし仮にこの鍛造品は調和し難いということはないとしたら「あの流域全体は具備すらないかまたは軽いかあるいは両方だ」ということは成り立たない fact7: もしこの鍛造品が大八車だしかつ当つとすると調和し難いということはない fact8: もしもあの流域全体が波打つけど快くないとするとこの鍛造品は出回る fact9: この鍛造品は当つ fact10: 仮になにかは進路指導で更に出回るなら「この準禁治産者名簿は軽いということはない」ということは成り立つ fact11: あの流域全体は来談するしさらにけたたましい fact12: 仮に「この会同が具備すらないしさらに調和し難くない」ということは嘘であるとすればこの鍛造品は具備す fact13: この準禁治産者名簿は具備すらない fact14: もしあの流域全体はけたたましいならば「それは波打たない」ということは嘘だ fact15: もしこの鍛造品が具備すならそれは進路指導である fact16: 仮に「とある物は具備すらないかもしくはそれは軽いかもしくはどちらもである」ということは事実と異なるとすればそれは出回らない fact17: けたたましくないものは来談するし進路指導である fact18: この鍛造品はクリアする ; $hypothesis$ = あの流域全体が快くないとすればこの準禁治産者名簿は軽いということはない ; $proof$ = 
fact11 -> int1: あの流域全体はけたたましい; int1 & fact14 -> int2: あの流域全体は波打つ; void -> assump1: 以下のように仮定する。「あの流域全体は快くない」ということは偽でない; int2 & assump1 -> int3: あの流域全体は波打つ一方で快くない; int3 & fact8 -> int4: この鍛造品は出回る; fact12 & fact5 -> int5: この鍛造品は具備す; int5 & fact15 -> int6: この鍛造品は進路指導だ; int4 & int6 -> int7: この鍛造品は進路指導であるしさらにそれは出回る; int7 -> int8: とある物は進路指導であるし出回る; int8 & fact10 -> int9: この準禁治産者名簿は軽くない; [assump1] & int9 -> hypothesis; __PROVED__
事実1: あの流域全体は来談する
事実2: 「快い」ものはある
事実3: もしもこの鍛造品がクリアすればそれは大八車である
事実4: もしも何らかのものは出回らないならば「それは快いしその上波打つ」ということは誤りだ
事実5: 「この会同は具備すらないししかもそれは調和し難くない」ということは偽だ
事実6: もし仮にこの鍛造品は調和し難いということはないとしたら「あの流域全体は具備すらないかまたは軽いかあるいは両方だ」ということは成り立たない
事実7: もしこの鍛造品が大八車だしかつ当つとすると調和し難いということはない
事実8: もしもあの流域全体が波打つけど快くないとするとこの鍛造品は出回る
事実9: この鍛造品は当つ
事実10: 仮になにかは進路指導で更に出回るなら「この準禁治産者名簿は軽いということはない」ということは成り立つ
事実11: あの流域全体は来談するしさらにけたたましい
事実12: 仮に「この会同が具備すらないしさらに調和し難くない」ということは嘘であるとすればこの鍛造品は具備す
事実13: この準禁治産者名簿は具備すらない
事実14: もしあの流域全体はけたたましいならば「それは波打たない」ということは嘘だ
事実15: もしこの鍛造品が具備すならそれは進路指導である
事実16: 仮に「とある物は具備すらないかもしくはそれは軽いかもしくはどちらもである」ということは事実と異なるとすればそれは出回らない
事実17: けたたましくないものは来談するし進路指導である
事実18: この鍛造品はクリアする

仮説: あの流域全体が快くないとすればこの準禁治産者名簿は軽いということはない
1. 事実11から、推論1: "あの流域全体はけたたましい"が導かれる
2. 推論1と事実14から、推論2: "あの流域全体は波打つ"が導かれる
3. 仮定1: 以下のように仮定する。「あの流域全体は快くない」ということは偽でない
4. 推論2と仮定1から、推論3: "あの流域全体は波打つ一方で快くない"が導かれる
5. 推論3と事実8から、推論4: "この鍛造品は出回る"が導かれる
6. 事実12と事実5から、推論5: "この鍛造品は具備す"が導かれる
7. 推論5と事実15から、推論6: "この鍛造品は進路指導だ"が導かれる
8. 推論4と推論6から、推論7: "この鍛造品は進路指導であるしさらにそれは出回る"が導かれる
9. 推論7から、推論8: "とある物は進路指導であるし出回る"が導かれる
10. 推論8と事実10から、推論9: "この準禁治産者名簿は軽くない"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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