その任期は記事作成だ
fact1: あのナチュラルは太鼓である fact2: 仮に記事作成が事業環境だとするとそれは太鼓でない fact3: 「リプレイするということはなくてそれに飲み過ぎない」物があるならばあの任期は太鼓である fact4: 「あのナチュラルは保険料負担でそれに共鳴音である」ということは成り立たない fact5: もし仮に何らかの物は経験主義であるしおまけに晒され易いとしたらそれは編集出来ない fact6: すべての物は晒され易くないかまたはそれは経験主義であるかもしくは両方ともである fact7: もし仮にこのペイン・スターリングが経験主義でないとしたらその事後設立後は経験主義だ fact8: 「この履歴モデルは晒され易いけれど飲み過ぎない」ということは本当でない fact9: このペイン・スターリングは保険料負担でないならば「あのナチュラルは保険料負担であるし共鳴音である」ということは偽である fact10: もし仮に「リプレイしない一方で飲み過ぎる」物があるとすればその任期は太鼓である fact11: この履歴モデルが晒され易くないかもしくはそれが経験主義であるかもしくは両方であるならばこのペイン・スターリングは保険料負担でない fact12: その事後設立後はリプレイしないし加えて飲み過ぎない fact13: もしもあのナチュラルが共鳴音であるとすればその任期は事業環境だ fact14: このペイン・スターリングは保険料負担でないとすれば「あのナチュラルは保険料負担であるけど共鳴音でない」ということは成り立たない fact15: もしも「あのナチュラルは保険料負担であるけど共鳴音でない」ということは成り立たないならばその任期は事業環境だ fact16: 何もかもは晒され易いかもしくは経験主義である fact17: 「飲み過ぎるということはない」物はある fact18: 「リプレイするしその上飲み過ぎない」ものはある fact19: この履歴モデルは晒され易いかもしくはそれは経験主義だ
fact6 -> int1: この履歴モデルは晒され易くないかもしくは経験主義である; int1 & fact11 -> int2: このペイン・スターリングは保険料負担でない; int2 & fact14 -> int3: 「あのナチュラルは保険料負担だけど共鳴音でない」ということは嘘である; int3 & fact15 -> int4: その任期は事業環境である; void -> assump1: 以下のように仮定する。その任期は記事作成だ; int4 & assump1 -> int5: その任期は記事作成で加えて事業環境である; fact2 -> int6: もし仮にその任期は記事作成で更に事業環境なら太鼓でない; int5 & int6 -> int7: その任期は太鼓でない; fact12 -> int8: なんらかのものはリプレイするということはなくてそれは飲み過ぎるということはない; fact3 & int8 -> int9: その任期は太鼓だ; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
その事後設立後は編集出来ない
fact21 -> int11: もし仮にその事後設立後は経験主義であるししかも晒され易いとしたらそれは編集出来ない;
$facts$ = fact1: あのナチュラルは太鼓である fact2: 仮に記事作成が事業環境だとするとそれは太鼓でない fact3: 「リプレイするということはなくてそれに飲み過ぎない」物があるならばあの任期は太鼓である fact4: 「あのナチュラルは保険料負担でそれに共鳴音である」ということは成り立たない fact5: もし仮に何らかの物は経験主義であるしおまけに晒され易いとしたらそれは編集出来ない fact6: すべての物は晒され易くないかまたはそれは経験主義であるかもしくは両方ともである fact7: もし仮にこのペイン・スターリングが経験主義でないとしたらその事後設立後は経験主義だ fact8: 「この履歴モデルは晒され易いけれど飲み過ぎない」ということは本当でない fact9: このペイン・スターリングは保険料負担でないならば「あのナチュラルは保険料負担であるし共鳴音である」ということは偽である fact10: もし仮に「リプレイしない一方で飲み過ぎる」物があるとすればその任期は太鼓である fact11: この履歴モデルが晒され易くないかもしくはそれが経験主義であるかもしくは両方であるならばこのペイン・スターリングは保険料負担でない fact12: その事後設立後はリプレイしないし加えて飲み過ぎない fact13: もしもあのナチュラルが共鳴音であるとすればその任期は事業環境だ fact14: このペイン・スターリングは保険料負担でないとすれば「あのナチュラルは保険料負担であるけど共鳴音でない」ということは成り立たない fact15: もしも「あのナチュラルは保険料負担であるけど共鳴音でない」ということは成り立たないならばその任期は事業環境だ fact16: 何もかもは晒され易いかもしくは経験主義である fact17: 「飲み過ぎるということはない」物はある fact18: 「リプレイするしその上飲み過ぎない」ものはある fact19: この履歴モデルは晒され易いかもしくはそれは経験主義だ ; $hypothesis$ = その任期は記事作成だ ; $proof$ = 
fact6 -> int1: この履歴モデルは晒され易くないかもしくは経験主義である; int1 & fact11 -> int2: このペイン・スターリングは保険料負担でない; int2 & fact14 -> int3: 「あのナチュラルは保険料負担だけど共鳴音でない」ということは嘘である; int3 & fact15 -> int4: その任期は事業環境である; void -> assump1: 以下のように仮定する。その任期は記事作成だ; int4 & assump1 -> int5: その任期は記事作成で加えて事業環境である; fact2 -> int6: もし仮にその任期は記事作成で更に事業環境なら太鼓でない; int5 & int6 -> int7: その任期は太鼓でない; fact12 -> int8: なんらかのものはリプレイするということはなくてそれは飲み過ぎるということはない; fact3 & int8 -> int9: その任期は太鼓だ; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: あのナチュラルは太鼓である
事実2: 仮に記事作成が事業環境だとするとそれは太鼓でない
事実3: 「リプレイするということはなくてそれに飲み過ぎない」物があるならばあの任期は太鼓である
事実4: 「あのナチュラルは保険料負担でそれに共鳴音である」ということは成り立たない
事実5: もし仮に何らかの物は経験主義であるしおまけに晒され易いとしたらそれは編集出来ない
事実6: すべての物は晒され易くないかまたはそれは経験主義であるかもしくは両方ともである
事実7: もし仮にこのペイン・スターリングが経験主義でないとしたらその事後設立後は経験主義だ
事実8: 「この履歴モデルは晒され易いけれど飲み過ぎない」ということは本当でない
事実9: このペイン・スターリングは保険料負担でないならば「あのナチュラルは保険料負担であるし共鳴音である」ということは偽である
事実10: もし仮に「リプレイしない一方で飲み過ぎる」物があるとすればその任期は太鼓である
事実11: この履歴モデルが晒され易くないかもしくはそれが経験主義であるかもしくは両方であるならばこのペイン・スターリングは保険料負担でない
事実12: その事後設立後はリプレイしないし加えて飲み過ぎない
事実13: もしもあのナチュラルが共鳴音であるとすればその任期は事業環境だ
事実14: このペイン・スターリングは保険料負担でないとすれば「あのナチュラルは保険料負担であるけど共鳴音でない」ということは成り立たない
事実15: もしも「あのナチュラルは保険料負担であるけど共鳴音でない」ということは成り立たないならばその任期は事業環境だ
事実16: 何もかもは晒され易いかもしくは経験主義である
事実17: 「飲み過ぎるということはない」物はある
事実18: 「リプレイするしその上飲み過ぎない」ものはある
事実19: この履歴モデルは晒され易いかもしくはそれは経験主義だ

仮説: その任期は記事作成だ
1. 事実6から、推論1: "この履歴モデルは晒され易くないかもしくは経験主義である"が導かれる
2. 推論1と事実11から、推論2: "このペイン・スターリングは保険料負担でない"が導かれる
3. 推論2と事実14から、推論3: "「あのナチュラルは保険料負担だけど共鳴音でない」ということは嘘である"が導かれる
4. 推論3と事実15から、推論4: "その任期は事業環境である"が導かれる
5. 仮定1: 以下のように仮定する。その任期は記事作成だ
6. 推論4と仮定1から、推論5: "その任期は記事作成で加えて事業環境である"が導かれる
7. 事実2から、推論6: "もし仮にその任期は記事作成で更に事業環境なら太鼓でない"が導かれる
8. 推論5と推論6から、推論7: "その任期は太鼓でない"が導かれる
9. 事実12から、推論8: "なんらかのものはリプレイするということはなくてそれは飲み過ぎるということはない"が導かれる
10. 事実3と推論8から、推論9: "その任期は太鼓だ"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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