「この鍼は有り得るし更に先取り出来る」ということは成り立たない
fact1: 「緩くない」物があるならこの上映は叫び返す fact2: この鍼は盗み取らないがしかし押し付けがましい fact3: その手掛かり無しは叫び返す fact4: もしもこの鍼が発生過程ならばそれは先取り出来る fact5: この鍼が発生過程ならばそれは叫び返す fact6: この鍼は旧約外典である fact7: 仮にこの鍼は有り得るなら「薄い」ということは本当である fact8: 「落選するということはない」ものはある fact9: その税抜き方式は有り得る fact10: 「もしあのＤＥＰＰが近しいならあのＤＥＰＰは旧約外典である」ということは成り立つ fact11: 「発生過程な」物はある fact12: もし仮にその手掛かり無しが先取り出来るならばあの鍼は薄い fact13: もし仮にその手掛かり無しが叫び返すしさらに薄いならこの上映は近しい fact14: もしもあのＤＥＰＰが旧約外典であるとしたらこの鍼は発生過程である fact15: この上映がソロでないならばその手掛かり無しは近しくない一方で薄い fact16: 何かは緩くない fact17: 恐ろしいものは共同利益でない fact18: もしなにかは叫び返せば「それはソロでない」ということは成り立つ fact19: あの第二分類は有り得ないが防御壁である fact20: その手掛かり無しが発生過程でないとすればこの鍼は薄くない fact21: この鍼は叫び返す fact22: もしその手掛かり無しが近しくない一方で薄いとしたらあのＤＥＰＰは旧約外典だ fact23: その手掛かり無しは有り得ないなら「この鍼は薄くない」ということは事実だ fact24: この鍼は有り得る fact25: この利用番号は顕在化し易くないけれどソロだ
fact16 & fact1 -> int1: この上映は叫び返す; fact18 -> int2: もしこの上映は叫び返せば「ソロであるということはない」ということは正しい; int1 & int2 -> int3: この上映はソロでない; int3 & fact15 -> int4: その手掛かり無しは近しくないけどそれは薄い; int4 & fact22 -> int5: あのＤＥＰＰは旧約外典である; int5 & fact14 -> int6: この鍼は発生過程である; int6 & fact4 -> int7: この鍼は先取り出来る; int7 & fact24 -> hypothesis;
$facts$ = fact1: 「緩くない」物があるならこの上映は叫び返す fact2: この鍼は盗み取らないがしかし押し付けがましい fact3: その手掛かり無しは叫び返す fact4: もしもこの鍼が発生過程ならばそれは先取り出来る fact5: この鍼が発生過程ならばそれは叫び返す fact6: この鍼は旧約外典である fact7: 仮にこの鍼は有り得るなら「薄い」ということは本当である fact8: 「落選するということはない」ものはある fact9: その税抜き方式は有り得る fact10: 「もしあのＤＥＰＰが近しいならあのＤＥＰＰは旧約外典である」ということは成り立つ fact11: 「発生過程な」物はある fact12: もし仮にその手掛かり無しが先取り出来るならばあの鍼は薄い fact13: もし仮にその手掛かり無しが叫び返すしさらに薄いならこの上映は近しい fact14: もしもあのＤＥＰＰが旧約外典であるとしたらこの鍼は発生過程である fact15: この上映がソロでないならばその手掛かり無しは近しくない一方で薄い fact16: 何かは緩くない fact17: 恐ろしいものは共同利益でない fact18: もしなにかは叫び返せば「それはソロでない」ということは成り立つ fact19: あの第二分類は有り得ないが防御壁である fact20: その手掛かり無しが発生過程でないとすればこの鍼は薄くない fact21: この鍼は叫び返す fact22: もしその手掛かり無しが近しくない一方で薄いとしたらあのＤＥＰＰは旧約外典だ fact23: その手掛かり無しは有り得ないなら「この鍼は薄くない」ということは事実だ fact24: この鍼は有り得る fact25: この利用番号は顕在化し易くないけれどソロだ ; $hypothesis$ = 「この鍼は有り得るし更に先取り出来る」ということは成り立たない ; $proof$ = 
fact16 & fact1 -> int1: この上映は叫び返す; fact18 -> int2: もしこの上映は叫び返せば「ソロであるということはない」ということは正しい; int1 & int2 -> int3: この上映はソロでない; int3 & fact15 -> int4: その手掛かり無しは近しくないけどそれは薄い; int4 & fact22 -> int5: あのＤＥＰＰは旧約外典である; int5 & fact14 -> int6: この鍼は発生過程である; int6 & fact4 -> int7: この鍼は先取り出来る; int7 & fact24 -> hypothesis; __DISPROVED__
事実1: 「緩くない」物があるならこの上映は叫び返す
事実2: この鍼は盗み取らないがしかし押し付けがましい
事実3: その手掛かり無しは叫び返す
事実4: もしもこの鍼が発生過程ならばそれは先取り出来る
事実5: この鍼が発生過程ならばそれは叫び返す
事実6: この鍼は旧約外典である
事実7: 仮にこの鍼は有り得るなら「薄い」ということは本当である
事実8: 「落選するということはない」ものはある
事実9: その税抜き方式は有り得る
事実10: 「もしあのＤＥＰＰが近しいならあのＤＥＰＰは旧約外典である」ということは成り立つ
事実11: 「発生過程な」物はある
事実12: もし仮にその手掛かり無しが先取り出来るならばあの鍼は薄い
事実13: もし仮にその手掛かり無しが叫び返すしさらに薄いならこの上映は近しい
事実14: もしもあのＤＥＰＰが旧約外典であるとしたらこの鍼は発生過程である
事実15: この上映がソロでないならばその手掛かり無しは近しくない一方で薄い
事実16: 何かは緩くない
事実17: 恐ろしいものは共同利益でない
事実18: もしなにかは叫び返せば「それはソロでない」ということは成り立つ
事実19: あの第二分類は有り得ないが防御壁である
事実20: その手掛かり無しが発生過程でないとすればこの鍼は薄くない
事実21: この鍼は叫び返す
事実22: もしその手掛かり無しが近しくない一方で薄いとしたらあのＤＥＰＰは旧約外典だ
事実23: その手掛かり無しは有り得ないなら「この鍼は薄くない」ということは事実だ
事実24: この鍼は有り得る
事実25: この利用番号は顕在化し易くないけれどソロだ

仮説: 「この鍼は有り得るし更に先取り出来る」ということは成り立たない
1. 事実16と事実1から、推論1: "この上映は叫び返す"が導かれる
2. 事実18から、推論2: "もしこの上映は叫び返せば「ソロであるということはない」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "この上映はソロでない"が導かれる
4. 推論3と事実15から、推論4: "その手掛かり無しは近しくないけどそれは薄い"が導かれる
5. 推論4と事実22から、推論5: "あのＤＥＰＰは旧約外典である"が導かれる
6. 推論5と事実14から、推論6: "この鍼は発生過程である"が導かれる
7. 推論6と事実4から、推論7: "この鍼は先取り出来る"が導かれる
8. 推論7と事実24から、仮説が否定される

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