この片栗はＣＩＴでない
fact1: この片栗は禁じる fact2: あるものは選択科目である fact3: 「禁じない一方で死ねる」ものがあるとするとこの片栗はＣＩＴだ fact4: もし仮にこの片栗がＣＩＴだとすればあの帝国主義者はＣＩＴだ fact5: もしも「その復号化は選択科目だ」ということは本当だとしたらそれは譲渡方法だ fact6: もしも選択科目は譲渡方法であるとすればＣＩＴでない fact7: 譲渡方法は死ねる fact8: もしもなにかは禁じるとすると「選択科目である」ということは本当である fact9: その復号化は選択科目である fact10: なにかは禁じるし更にＣＩＴだ fact11: 何かは死ねるということはないけどＣＩＴだとするとその復号化は選択科目である fact12: 「溢れない一方で見られ易い」ものはある fact13: 「その帝国主義者は譲渡方法だ」ということは正しい fact14: その復号化が死ねるとするとその帝国主義者は禁じないがそれは死ねる
fact5 & fact9 -> int1: その復号化は譲渡方法である; fact7 -> int2: もしもその復号化は譲渡方法であるとすればそれは死ねる; int1 & int2 -> int3: その復号化は死ねる; int3 & fact14 -> int4: その帝国主義者は禁じるということはないが死ねる; int4 -> int5: とある物は禁じないけど死ねる; int5 & fact3 -> hypothesis;
「この片栗はＣＩＴでない」ということは確かである
fact15 -> int6: もしもこの片栗が選択科目だし譲渡方法だとするとそれはＣＩＴでない;
$facts$ = fact1: この片栗は禁じる fact2: あるものは選択科目である fact3: 「禁じない一方で死ねる」ものがあるとするとこの片栗はＣＩＴだ fact4: もし仮にこの片栗がＣＩＴだとすればあの帝国主義者はＣＩＴだ fact5: もしも「その復号化は選択科目だ」ということは本当だとしたらそれは譲渡方法だ fact6: もしも選択科目は譲渡方法であるとすればＣＩＴでない fact7: 譲渡方法は死ねる fact8: もしもなにかは禁じるとすると「選択科目である」ということは本当である fact9: その復号化は選択科目である fact10: なにかは禁じるし更にＣＩＴだ fact11: 何かは死ねるということはないけどＣＩＴだとするとその復号化は選択科目である fact12: 「溢れない一方で見られ易い」ものはある fact13: 「その帝国主義者は譲渡方法だ」ということは正しい fact14: その復号化が死ねるとするとその帝国主義者は禁じないがそれは死ねる ; $hypothesis$ = この片栗はＣＩＴでない ; $proof$ = 
fact5 & fact9 -> int1: その復号化は譲渡方法である; fact7 -> int2: もしもその復号化は譲渡方法であるとすればそれは死ねる; int1 & int2 -> int3: その復号化は死ねる; int3 & fact14 -> int4: その帝国主義者は禁じるということはないが死ねる; int4 -> int5: とある物は禁じないけど死ねる; int5 & fact3 -> hypothesis; __DISPROVED__
事実1: この片栗は禁じる
事実2: あるものは選択科目である
事実3: 「禁じない一方で死ねる」ものがあるとするとこの片栗はＣＩＴだ
事実4: もし仮にこの片栗がＣＩＴだとすればあの帝国主義者はＣＩＴだ
事実5: もしも「その復号化は選択科目だ」ということは本当だとしたらそれは譲渡方法だ
事実6: もしも選択科目は譲渡方法であるとすればＣＩＴでない
事実7: 譲渡方法は死ねる
事実8: もしもなにかは禁じるとすると「選択科目である」ということは本当である
事実9: その復号化は選択科目である
事実10: なにかは禁じるし更にＣＩＴだ
事実11: 何かは死ねるということはないけどＣＩＴだとするとその復号化は選択科目である
事実12: 「溢れない一方で見られ易い」ものはある
事実13: 「その帝国主義者は譲渡方法だ」ということは正しい
事実14: その復号化が死ねるとするとその帝国主義者は禁じないがそれは死ねる

仮説: この片栗はＣＩＴでない
1. 事実5と事実9から、推論1: "その復号化は譲渡方法である"が導かれる
2. 事実7から、推論2: "もしもその復号化は譲渡方法であるとすればそれは死ねる"が導かれる
3. 推論1と推論2から、推論3: "その復号化は死ねる"が導かれる
4. 推論3と事実14から、推論4: "その帝国主義者は禁じるということはないが死ねる"が導かれる
5. 推論4から、推論5: "とある物は禁じないけど死ねる"が導かれる
6. 推論5と事実3から、仮説が否定される

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