「あのライブ・アルバムは得易いということはない一方で遠い」ということは成り立たない
fact1: あのライブ・アルバムが面白くないならばそれは視覚イメージでおまけに前件である fact2: もしもあの関心は視覚イメージであるならそれは良い fact3: もし仮にあるものは穂軸であるならば「組織出来るかあるいは大言語でない」ということは誤っている fact4: もし「あのライブ・アルバムは新府城であるかあるいは木更津船であるか両方だ」ということは偽ならそれは面白くない fact5: あの関心は踊り狂わないとすると「「あのライブ・アルバムは新府城であるかもしくは木更津船だ」ということは正しい」ということは誤りだ fact6: あの全身症状は視覚イメージだ fact7: もしもとある物は穂軸だということはないなら「得易いということはなくて遠い」ということは誤りである fact8: 仮になんらかのものが面白いならばあの関心は良くない fact9: 何かは組織出来るとすれば「「それは視覚イメージであるかもしくはそれは大言語だということはないか両方だ」ということは成り立つ」ということは成り立つということはない fact10: 仮になにがしかの物が前件だということはないとすると得易くないけれど遠い fact11: もしも「あの全身症状は組織出来るかあるいはそれは大言語であるということはない」ということは本当でないとしたらあの関心は視覚イメージだ fact12: その合金鉄業界は視覚イメージだ fact13: 面白いものはある fact14: あの全身症状が穂軸であるということはないとするとあのライブ・アルバムは前件でない
fact3 -> int1: もし仮にあの全身症状は穂軸であるならば「それは組織出来るかもしくはそれは大言語でないかもしくはどちらもだ」ということは事実と異なる; void -> assump1: 以下のように仮定する。あの全身症状は穂軸である; int1 & assump1 -> int2: 「あの全身症状は組織出来るかまたはそれは大言語でない」ということは成り立たない; int2 & fact11 -> int3: あの関心は視覚イメージだ; int3 & fact2 -> int4: あの関心は良い; fact8 & fact13 -> int5: あの関心は良くない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの全身症状は穂軸であるということはない」ということは成り立つ; int7 & fact14 -> int8: あのライブ・アルバムは前件でない; fact10 -> int9: 仮にあのライブ・アルバムは前件でないなら「それは得易いということはなくて遠い」ということは本当だ; int8 & int9 -> hypothesis;
「あのライブ・アルバムは得易くないけれど遠い」ということは成り立たない
fact15 -> int10: 仮にあのライブ・アルバムは穂軸でないとしたら「それは得易くないし遠い」ということは成り立たない;
$facts$ = fact1: あのライブ・アルバムが面白くないならばそれは視覚イメージでおまけに前件である fact2: もしもあの関心は視覚イメージであるならそれは良い fact3: もし仮にあるものは穂軸であるならば「組織出来るかあるいは大言語でない」ということは誤っている fact4: もし「あのライブ・アルバムは新府城であるかあるいは木更津船であるか両方だ」ということは偽ならそれは面白くない fact5: あの関心は踊り狂わないとすると「「あのライブ・アルバムは新府城であるかもしくは木更津船だ」ということは正しい」ということは誤りだ fact6: あの全身症状は視覚イメージだ fact7: もしもとある物は穂軸だということはないなら「得易いということはなくて遠い」ということは誤りである fact8: 仮になんらかのものが面白いならばあの関心は良くない fact9: 何かは組織出来るとすれば「「それは視覚イメージであるかもしくはそれは大言語だということはないか両方だ」ということは成り立つ」ということは成り立つということはない fact10: 仮になにがしかの物が前件だということはないとすると得易くないけれど遠い fact11: もしも「あの全身症状は組織出来るかあるいはそれは大言語であるということはない」ということは本当でないとしたらあの関心は視覚イメージだ fact12: その合金鉄業界は視覚イメージだ fact13: 面白いものはある fact14: あの全身症状が穂軸であるということはないとするとあのライブ・アルバムは前件でない ; $hypothesis$ = 「あのライブ・アルバムは得易いということはない一方で遠い」ということは成り立たない ; $proof$ = 
fact3 -> int1: もし仮にあの全身症状は穂軸であるならば「それは組織出来るかもしくはそれは大言語でないかもしくはどちらもだ」ということは事実と異なる; void -> assump1: 以下のように仮定する。あの全身症状は穂軸である; int1 & assump1 -> int2: 「あの全身症状は組織出来るかまたはそれは大言語でない」ということは成り立たない; int2 & fact11 -> int3: あの関心は視覚イメージだ; int3 & fact2 -> int4: あの関心は良い; fact8 & fact13 -> int5: あの関心は良くない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの全身症状は穂軸であるということはない」ということは成り立つ; int7 & fact14 -> int8: あのライブ・アルバムは前件でない; fact10 -> int9: 仮にあのライブ・アルバムは前件でないなら「それは得易いということはなくて遠い」ということは本当だ; int8 & int9 -> hypothesis; __DISPROVED__
事実1: あのライブ・アルバムが面白くないならばそれは視覚イメージでおまけに前件である
事実2: もしもあの関心は視覚イメージであるならそれは良い
事実3: もし仮にあるものは穂軸であるならば「組織出来るかあるいは大言語でない」ということは誤っている
事実4: もし「あのライブ・アルバムは新府城であるかあるいは木更津船であるか両方だ」ということは偽ならそれは面白くない
事実5: あの関心は踊り狂わないとすると「「あのライブ・アルバムは新府城であるかもしくは木更津船だ」ということは正しい」ということは誤りだ
事実6: あの全身症状は視覚イメージだ
事実7: もしもとある物は穂軸だということはないなら「得易いということはなくて遠い」ということは誤りである
事実8: 仮になんらかのものが面白いならばあの関心は良くない
事実9: 何かは組織出来るとすれば「「それは視覚イメージであるかもしくはそれは大言語だということはないか両方だ」ということは成り立つ」ということは成り立つということはない
事実10: 仮になにがしかの物が前件だということはないとすると得易くないけれど遠い
事実11: もしも「あの全身症状は組織出来るかあるいはそれは大言語であるということはない」ということは本当でないとしたらあの関心は視覚イメージだ
事実12: その合金鉄業界は視覚イメージだ
事実13: 面白いものはある
事実14: あの全身症状が穂軸であるということはないとするとあのライブ・アルバムは前件でない

仮説: 「あのライブ・アルバムは得易いということはない一方で遠い」ということは成り立たない
1. 事実3から、推論1: "もし仮にあの全身症状は穂軸であるならば「それは組織出来るかもしくはそれは大言語でないかもしくはどちらもだ」ということは事実と異なる"が導かれる
2. 仮定1: 以下のように仮定する。あの全身症状は穂軸である
3. 推論1と仮定1から、推論2: "「あの全身症状は組織出来るかまたはそれは大言語でない」ということは成り立たない"が導かれる
4. 推論2と事実11から、推論3: "あの関心は視覚イメージだ"が導かれる
5. 推論3と事実2から、推論4: "あの関心は良い"が導かれる
6. 事実8と事実13から、推論5: "あの関心は良くない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「あの全身症状は穂軸であるということはない」ということは成り立つ"が導かれる
9. 推論7と事実14から、推論8: "あのライブ・アルバムは前件でない"が導かれる
10. 事実10から、推論9: "仮にあのライブ・アルバムは前件でないなら「それは得易いということはなくて遠い」ということは本当だ"が導かれる
11. 推論8と推論9から、仮説が否定される

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