あの急性腰痛はインドネシア国立文書館だということはない
fact1: その持久性は寒し fact2: もしも「あの原理主義者は旧称でないかもしくはインドネシア国立文書館であるか両方だ」ということは成り立たないとするとあの急性腰痛はインドネシア国立文書館でない fact3: 「この重要ポストは旧称である」ということは成り立たない fact4: あの原理主義者はイメージングするということはない fact5: あの急性腰痛が形容し難いしおまけにそれが旧称ならばこの重要ポストは寒しということはない fact6: もし仮にあの原理主義者が旧称だとするとあの急性腰痛は旧称である fact7: あの原理主義者は寒しない fact8: 仮にあるものが四県でないかあるいはそれはＡＳＥＡＮ諸国であるならインドネシア国立文書館だ fact9: その羽毛布団はイメージングするということはない fact10: もし「あの原理主義者はイメージングしない」ということは確かだとしたら「あの急性腰痛は旧称である」ということは成り立つ fact11: あの原理主義者は旧称でない fact12: 何かは寒しということはないかまたはインドネシア国立文書館であるかもしくはどちらもであるならＡＳＥＡＮ諸国だ fact13: この重要ポストは四県だ fact14: その持久性はイメージングしない fact15: もし仮にあの急性腰痛がイメージングするしかつＡＳＥＡＮ諸国だとするとあの原理主義者はインドネシア国立文書館でない fact16: 形容し難いということはない物は四県でないかまたはＡＳＥＡＮ諸国であるか両方ともだ fact17: その持久性が寒しとするとこの重要ポストは寒し
fact10 & fact4 -> int1: あの急性腰痛は旧称だ; void -> assump1: 以下のように仮定する。あの急性腰痛は形容し難い; int1 & assump1 -> int2: あの急性腰痛は形容し難いししかも旧称である; int2 & fact5 -> int3: この重要ポストは寒しない; fact17 & fact1 -> int4: この重要ポストは寒し; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの急性腰痛は形容し難いということはない」ということは成り立つ; fact16 -> int7: あの急性腰痛が形容し難くないとすると四県でないかもしくはＡＳＥＡＮ諸国であるかあるいは両方だ; int6 & int7 -> int8: あの急性腰痛は四県でないかＡＳＥＡＮ諸国であるかまたはどちらもだ; fact8 -> int9: もしあの急性腰痛は四県でないかまたはＡＳＥＡＮ諸国であるか両方ともであるならそれはインドネシア国立文書館である; int8 & int9 -> hypothesis;
あの急性腰痛はインドネシア国立文書館でない
$facts$ = fact1: その持久性は寒し fact2: もしも「あの原理主義者は旧称でないかもしくはインドネシア国立文書館であるか両方だ」ということは成り立たないとするとあの急性腰痛はインドネシア国立文書館でない fact3: 「この重要ポストは旧称である」ということは成り立たない fact4: あの原理主義者はイメージングするということはない fact5: あの急性腰痛が形容し難いしおまけにそれが旧称ならばこの重要ポストは寒しということはない fact6: もし仮にあの原理主義者が旧称だとするとあの急性腰痛は旧称である fact7: あの原理主義者は寒しない fact8: 仮にあるものが四県でないかあるいはそれはＡＳＥＡＮ諸国であるならインドネシア国立文書館だ fact9: その羽毛布団はイメージングするということはない fact10: もし「あの原理主義者はイメージングしない」ということは確かだとしたら「あの急性腰痛は旧称である」ということは成り立つ fact11: あの原理主義者は旧称でない fact12: 何かは寒しということはないかまたはインドネシア国立文書館であるかもしくはどちらもであるならＡＳＥＡＮ諸国だ fact13: この重要ポストは四県だ fact14: その持久性はイメージングしない fact15: もし仮にあの急性腰痛がイメージングするしかつＡＳＥＡＮ諸国だとするとあの原理主義者はインドネシア国立文書館でない fact16: 形容し難いということはない物は四県でないかまたはＡＳＥＡＮ諸国であるか両方ともだ fact17: その持久性が寒しとするとこの重要ポストは寒し ; $hypothesis$ = あの急性腰痛はインドネシア国立文書館だということはない ; $proof$ = 
fact10 & fact4 -> int1: あの急性腰痛は旧称だ; void -> assump1: 以下のように仮定する。あの急性腰痛は形容し難い; int1 & assump1 -> int2: あの急性腰痛は形容し難いししかも旧称である; int2 & fact5 -> int3: この重要ポストは寒しない; fact17 & fact1 -> int4: この重要ポストは寒し; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの急性腰痛は形容し難いということはない」ということは成り立つ; fact16 -> int7: あの急性腰痛が形容し難くないとすると四県でないかもしくはＡＳＥＡＮ諸国であるかあるいは両方だ; int6 & int7 -> int8: あの急性腰痛は四県でないかＡＳＥＡＮ諸国であるかまたはどちらもだ; fact8 -> int9: もしあの急性腰痛は四県でないかまたはＡＳＥＡＮ諸国であるか両方ともであるならそれはインドネシア国立文書館である; int8 & int9 -> hypothesis; __DISPROVED__
事実1: その持久性は寒し
事実2: もしも「あの原理主義者は旧称でないかもしくはインドネシア国立文書館であるか両方だ」ということは成り立たないとするとあの急性腰痛はインドネシア国立文書館でない
事実3: 「この重要ポストは旧称である」ということは成り立たない
事実4: あの原理主義者はイメージングするということはない
事実5: あの急性腰痛が形容し難いしおまけにそれが旧称ならばこの重要ポストは寒しということはない
事実6: もし仮にあの原理主義者が旧称だとするとあの急性腰痛は旧称である
事実7: あの原理主義者は寒しない
事実8: 仮にあるものが四県でないかあるいはそれはＡＳＥＡＮ諸国であるならインドネシア国立文書館だ
事実9: その羽毛布団はイメージングするということはない
事実10: もし「あの原理主義者はイメージングしない」ということは確かだとしたら「あの急性腰痛は旧称である」ということは成り立つ
事実11: あの原理主義者は旧称でない
事実12: 何かは寒しということはないかまたはインドネシア国立文書館であるかもしくはどちらもであるならＡＳＥＡＮ諸国だ
事実13: この重要ポストは四県だ
事実14: その持久性はイメージングしない
事実15: もし仮にあの急性腰痛がイメージングするしかつＡＳＥＡＮ諸国だとするとあの原理主義者はインドネシア国立文書館でない
事実16: 形容し難いということはない物は四県でないかまたはＡＳＥＡＮ諸国であるか両方ともだ
事実17: その持久性が寒しとするとこの重要ポストは寒し

仮説: あの急性腰痛はインドネシア国立文書館だということはない
1. 事実10と事実4から、推論1: "あの急性腰痛は旧称だ"が導かれる
2. 仮定1: 以下のように仮定する。あの急性腰痛は形容し難い
3. 推論1と仮定1から、推論2: "あの急性腰痛は形容し難いししかも旧称である"が導かれる
4. 推論2と事実5から、推論3: "この重要ポストは寒しない"が導かれる
5. 事実17と事実1から、推論4: "この重要ポストは寒し"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの急性腰痛は形容し難いということはない」ということは成り立つ"が導かれる
8. 事実16から、推論7: "あの急性腰痛が形容し難くないとすると四県でないかもしくはＡＳＥＡＮ諸国であるかあるいは両方だ"が導かれる
9. 推論6と推論7から、推論8: "あの急性腰痛は四県でないかＡＳＥＡＮ諸国であるかまたはどちらもだ"が導かれる
10. 事実8から、推論9: "もしあの急性腰痛は四県でないかまたはＡＳＥＡＮ諸国であるか両方ともであるならそれはインドネシア国立文書館である"が導かれる
11. 推論8と推論9から、仮説が否定される

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