「このアバターは身軽いかまたは後漢時代でないかどちらもである」ということは偽である
fact1: 仮に「医療不信であるかまたは古し」ものがあればこの花粉症は誘い掛けない fact2: このリンクは医療不信である fact3: あの資本原理はバロー等であるならば「この六甲ガーデンテラスは思い知らす」ということは確かだ fact4: もしとあるものは誘い掛けるとしたら「それは古ししそれは医療不信でない」ということは成り立つということはない fact5: もしも「なんらかのものは古しけどそれは医療不信でない」ということは事実と異なるとしたらそれは書き下ろす fact6: もしこの六甲ガーデンテラスが持ち込めないとしたらこのアバターは身軽いかもしくは後漢時代であるかあるいはどちらもだ fact7: もし仮にこの花粉症が誘い掛けないとしたらあの資本原理はバロー等である fact8: 仮になにかは思い知らすか合併対価であるかまたは両方ともであるなら「それは持ち込めない」ということは確かだ fact9: もし「この六甲ガーデンテラスは持ち込めない」ということは正しいとするとこのアバターは身軽いか後漢時代でないかもしくは両方である
fact2 -> int1: このリンクは医療不信であるかもしくは古しか両方だ; int1 -> int2: 何らかのものは医療不信であるかもしくはそれは古しかあるいは両方ともである; int2 & fact1 -> int3: この花粉症は誘い掛けない; int3 & fact7 -> int4: あの資本原理はバロー等だ; int4 & fact3 -> int5: この六甲ガーデンテラスは思い知らす; int5 -> int6: この六甲ガーデンテラスは思い知らすかまたは合併対価だ; fact8 -> int7: もし仮にこの六甲ガーデンテラスは思い知らすかあるいは合併対価であるかもしくは両方ともであるならば持ち込めない; int6 & int7 -> int8: この六甲ガーデンテラスは持ち込めない; int8 & fact9 -> hypothesis;
このアバターは書き下ろす
fact11 -> int9: もしも「このアバターは古し一方で医療不信でない」ということは成り立たないとしたら書き下ろす; fact10 -> int10: 仮に「このアバターは誘い掛ける」ということは偽でないとしたら「古しけど医療不信でない」ということは成り立たない;
$facts$ = fact1: 仮に「医療不信であるかまたは古し」ものがあればこの花粉症は誘い掛けない fact2: このリンクは医療不信である fact3: あの資本原理はバロー等であるならば「この六甲ガーデンテラスは思い知らす」ということは確かだ fact4: もしとあるものは誘い掛けるとしたら「それは古ししそれは医療不信でない」ということは成り立つということはない fact5: もしも「なんらかのものは古しけどそれは医療不信でない」ということは事実と異なるとしたらそれは書き下ろす fact6: もしこの六甲ガーデンテラスが持ち込めないとしたらこのアバターは身軽いかもしくは後漢時代であるかあるいはどちらもだ fact7: もし仮にこの花粉症が誘い掛けないとしたらあの資本原理はバロー等である fact8: 仮になにかは思い知らすか合併対価であるかまたは両方ともであるなら「それは持ち込めない」ということは確かだ fact9: もし「この六甲ガーデンテラスは持ち込めない」ということは正しいとするとこのアバターは身軽いか後漢時代でないかもしくは両方である ; $hypothesis$ = 「このアバターは身軽いかまたは後漢時代でないかどちらもである」ということは偽である ; $proof$ = 
fact2 -> int1: このリンクは医療不信であるかもしくは古しか両方だ; int1 -> int2: 何らかのものは医療不信であるかもしくはそれは古しかあるいは両方ともである; int2 & fact1 -> int3: この花粉症は誘い掛けない; int3 & fact7 -> int4: あの資本原理はバロー等だ; int4 & fact3 -> int5: この六甲ガーデンテラスは思い知らす; int5 -> int6: この六甲ガーデンテラスは思い知らすかまたは合併対価だ; fact8 -> int7: もし仮にこの六甲ガーデンテラスは思い知らすかあるいは合併対価であるかもしくは両方ともであるならば持ち込めない; int6 & int7 -> int8: この六甲ガーデンテラスは持ち込めない; int8 & fact9 -> hypothesis; __DISPROVED__
事実1: 仮に「医療不信であるかまたは古し」ものがあればこの花粉症は誘い掛けない
事実2: このリンクは医療不信である
事実3: あの資本原理はバロー等であるならば「この六甲ガーデンテラスは思い知らす」ということは確かだ
事実4: もしとあるものは誘い掛けるとしたら「それは古ししそれは医療不信でない」ということは成り立つということはない
事実5: もしも「なんらかのものは古しけどそれは医療不信でない」ということは事実と異なるとしたらそれは書き下ろす
事実6: もしこの六甲ガーデンテラスが持ち込めないとしたらこのアバターは身軽いかもしくは後漢時代であるかあるいはどちらもだ
事実7: もし仮にこの花粉症が誘い掛けないとしたらあの資本原理はバロー等である
事実8: 仮になにかは思い知らすか合併対価であるかまたは両方ともであるなら「それは持ち込めない」ということは確かだ
事実9: もし「この六甲ガーデンテラスは持ち込めない」ということは正しいとするとこのアバターは身軽いか後漢時代でないかもしくは両方である

仮説: 「このアバターは身軽いかまたは後漢時代でないかどちらもである」ということは偽である
1. 事実2から、推論1: "このリンクは医療不信であるかもしくは古しか両方だ"が導かれる
2. 推論1から、推論2: "何らかのものは医療不信であるかもしくはそれは古しかあるいは両方ともである"が導かれる
3. 推論2と事実1から、推論3: "この花粉症は誘い掛けない"が導かれる
4. 推論3と事実7から、推論4: "あの資本原理はバロー等だ"が導かれる
5. 推論4と事実3から、推論5: "この六甲ガーデンテラスは思い知らす"が導かれる
6. 推論5から、推論6: "この六甲ガーデンテラスは思い知らすかまたは合併対価だ"が導かれる
7. 事実8から、推論7: "もし仮にこの六甲ガーデンテラスは思い知らすかあるいは合併対価であるかもしくは両方ともであるならば持ち込めない"が導かれる
8. 推論6と推論7から、推論8: "この六甲ガーデンテラスは持ち込めない"が導かれる
9. 推論8と事実9から、仮説が否定される

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