「このカラザは名状し難くてえぐい」ということは成り立たない
fact1: もし仮にあの駿馬が決勝進出でないとするとこのカラザは皇居でない fact2: その刹那は決勝進出だということはない fact3: その一年毎は名状し難い fact4: もし「何かは遺書でないけれどそれは消え掛かる」ということは成り立たないとしたらそれは調べ出す fact5: もし仮にこの十七Ｂは千八百六十年代であるということはないなら連続意見書である fact6: もし仮に「なにかは皇居だけどそれは名状し難くない」ということは間違いであるとしたら「それは名状し難い」ということは成り立つ fact7: 何かは皇居でないとすれば「名状し難くてえぐい」ということは成り立たない fact8: もしもその刹那は決勝進出でないとしたら「それはペイオフしなくてそれは保険料免除期間である」ということは誤りである fact9: もしその刹那が皇居であるとすればこのカラザはえぐい fact10: もしも「なんらかの物はペイオフしない一方でそれは保険料免除期間だ」ということは成り立たないならばそれは皇居だ fact11: もしもその刹那は本官でないとするとそれは決勝進出だ fact12: このカラザは名状し難い
fact10 -> int1: もし「その刹那はペイオフしない一方で保険料免除期間だ」ということは間違っているとするとそれは皇居である; fact8 & fact2 -> int2: 「その刹那はペイオフしないけどそれは保険料免除期間だ」ということは成り立つということはない; int1 & int2 -> int3: その刹那は皇居だ; int3 & fact9 -> int4: このカラザはえぐい; int4 & fact12 -> hypothesis;
その対面接触は名状し難い
fact13 -> int5: 仮に「その対面接触は皇居であるがしかしそれは名状し難くない」ということは偽だとしたらそれは名状し難い;
$facts$ = fact1: もし仮にあの駿馬が決勝進出でないとするとこのカラザは皇居でない fact2: その刹那は決勝進出だということはない fact3: その一年毎は名状し難い fact4: もし「何かは遺書でないけれどそれは消え掛かる」ということは成り立たないとしたらそれは調べ出す fact5: もし仮にこの十七Ｂは千八百六十年代であるということはないなら連続意見書である fact6: もし仮に「なにかは皇居だけどそれは名状し難くない」ということは間違いであるとしたら「それは名状し難い」ということは成り立つ fact7: 何かは皇居でないとすれば「名状し難くてえぐい」ということは成り立たない fact8: もしもその刹那は決勝進出でないとしたら「それはペイオフしなくてそれは保険料免除期間である」ということは誤りである fact9: もしその刹那が皇居であるとすればこのカラザはえぐい fact10: もしも「なんらかの物はペイオフしない一方でそれは保険料免除期間だ」ということは成り立たないならばそれは皇居だ fact11: もしもその刹那は本官でないとするとそれは決勝進出だ fact12: このカラザは名状し難い ; $hypothesis$ = 「このカラザは名状し難くてえぐい」ということは成り立たない ; $proof$ = 
fact10 -> int1: もし「その刹那はペイオフしない一方で保険料免除期間だ」ということは間違っているとするとそれは皇居である; fact8 & fact2 -> int2: 「その刹那はペイオフしないけどそれは保険料免除期間だ」ということは成り立つということはない; int1 & int2 -> int3: その刹那は皇居だ; int3 & fact9 -> int4: このカラザはえぐい; int4 & fact12 -> hypothesis; __DISPROVED__
事実1: もし仮にあの駿馬が決勝進出でないとするとこのカラザは皇居でない
事実2: その刹那は決勝進出だということはない
事実3: その一年毎は名状し難い
事実4: もし「何かは遺書でないけれどそれは消え掛かる」ということは成り立たないとしたらそれは調べ出す
事実5: もし仮にこの十七Ｂは千八百六十年代であるということはないなら連続意見書である
事実6: もし仮に「なにかは皇居だけどそれは名状し難くない」ということは間違いであるとしたら「それは名状し難い」ということは成り立つ
事実7: 何かは皇居でないとすれば「名状し難くてえぐい」ということは成り立たない
事実8: もしもその刹那は決勝進出でないとしたら「それはペイオフしなくてそれは保険料免除期間である」ということは誤りである
事実9: もしその刹那が皇居であるとすればこのカラザはえぐい
事実10: もしも「なんらかの物はペイオフしない一方でそれは保険料免除期間だ」ということは成り立たないならばそれは皇居だ
事実11: もしもその刹那は本官でないとするとそれは決勝進出だ
事実12: このカラザは名状し難い

仮説: 「このカラザは名状し難くてえぐい」ということは成り立たない
1. 事実10から、推論1: "もし「その刹那はペイオフしない一方で保険料免除期間だ」ということは間違っているとするとそれは皇居である"が導かれる
2. 事実8と事実2から、推論2: "「その刹那はペイオフしないけどそれは保険料免除期間だ」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、推論3: "その刹那は皇居だ"が導かれる
4. 推論3と事実9から、推論4: "このカラザはえぐい"が導かれる
5. 推論4と事実12から、仮説が否定される

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