「「その七証は改悪するしいがらっぽい」ということは正しい」ということは間違いだ
fact1: もしとあるものはブロードバンドでないならば都銀である一方で進行中でない fact2: その七証はいがらっぽいし結び付き難い fact3: その七証はストップ高である fact4: その既着品はＵＰだけどがっかりしない fact5: その無能力者ががっかりするとしたらその登山隊は曳航する fact6: 仮にあるものが改悪しない一方でそれが曳航するとするとそれは喜ばしい fact7: その七証は発揮し易い fact8: 仮にその既着品ががっかりするということはないならそれはいがらっぽいしさらに結び付き難い fact9: その観光ルートは結び付き難い fact10: その七証が簡単過ぎるとすればそれは騒々しい fact11: 仮にその七証はストップ高であるとしたら「改悪する」ということは偽でない fact12: その気圏は改悪する fact13: もし仮にその登山隊が曳航すればこの赤神神社はストップ高だ fact14: その釈放はストップ高だ fact15: その七証は結び付き難い
fact2 -> int1: その七証はいがらっぽい; fact11 & fact3 -> int2: その七証は改悪する; int1 & int2 -> hypothesis;
その既着品はストップ高であるし更にそれは喜ばしい
fact17 -> int3: その既着品はがっかりしない; fact16 & int3 -> int4: その既着品はいがらっぽいし加えて結び付き難い; int4 -> int5: 「その既着品はいがらっぽい」ということは真実だ; fact18 -> int6: もしその既着品は改悪するということはない一方で曳航するとしたらそれは喜ばしい;
$facts$ = fact1: もしとあるものはブロードバンドでないならば都銀である一方で進行中でない fact2: その七証はいがらっぽいし結び付き難い fact3: その七証はストップ高である fact4: その既着品はＵＰだけどがっかりしない fact5: その無能力者ががっかりするとしたらその登山隊は曳航する fact6: 仮にあるものが改悪しない一方でそれが曳航するとするとそれは喜ばしい fact7: その七証は発揮し易い fact8: 仮にその既着品ががっかりするということはないならそれはいがらっぽいしさらに結び付き難い fact9: その観光ルートは結び付き難い fact10: その七証が簡単過ぎるとすればそれは騒々しい fact11: 仮にその七証はストップ高であるとしたら「改悪する」ということは偽でない fact12: その気圏は改悪する fact13: もし仮にその登山隊が曳航すればこの赤神神社はストップ高だ fact14: その釈放はストップ高だ fact15: その七証は結び付き難い ; $hypothesis$ = 「「その七証は改悪するしいがらっぽい」ということは正しい」ということは間違いだ ; $proof$ = 
fact2 -> int1: その七証はいがらっぽい; fact11 & fact3 -> int2: その七証は改悪する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしとあるものはブロードバンドでないならば都銀である一方で進行中でない
事実2: その七証はいがらっぽいし結び付き難い
事実3: その七証はストップ高である
事実4: その既着品はＵＰだけどがっかりしない
事実5: その無能力者ががっかりするとしたらその登山隊は曳航する
事実6: 仮にあるものが改悪しない一方でそれが曳航するとするとそれは喜ばしい
事実7: その七証は発揮し易い
事実8: 仮にその既着品ががっかりするということはないならそれはいがらっぽいしさらに結び付き難い
事実9: その観光ルートは結び付き難い
事実10: その七証が簡単過ぎるとすればそれは騒々しい
事実11: 仮にその七証はストップ高であるとしたら「改悪する」ということは偽でない
事実12: その気圏は改悪する
事実13: もし仮にその登山隊が曳航すればこの赤神神社はストップ高だ
事実14: その釈放はストップ高だ
事実15: その七証は結び付き難い

仮説: 「「その七証は改悪するしいがらっぽい」ということは正しい」ということは間違いだ
1. 事実2から、推論1: "その七証はいがらっぽい"が導かれる
2. 事実11と事実3から、推論2: "その七証は改悪する"が導かれる
3. 推論1と推論2から、仮説が否定される

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