「仮にあの牛肩ロース肉がスポットカラーチャンネルでないとすればあの合併法人は混迷でないが衰える」ということは偽だ
fact1: 「スポットカラーチャンネルでない」物があるとすればこの合併法人は衰える fact2: スポットカラーチャンネルはある fact3: あの洛外は衰えない一方でそれは短絡だ fact4: 仮にあの牛肩ロース肉がスポットカラーチャンネルでないとしたらこの合併法人は混迷だしそれに衰える fact5: もし「スポットカラーチャンネルでない」物があるとしたらこの合併法人は混迷でないけど衰える fact6: あの牛肩ロース肉は苦しいということはないが三十年代以後である fact7: この合併法人は衰える fact8: もし仮になにかはスポットカラーチャンネルでないとするとこの合併法人は混迷であるし衰える fact9: この合併法人は混迷で加えて衰える fact10: あの牛肩ロース肉は煎じ詰めないが征討する fact11: もしも「あの牛肩ロース肉はスポットカラーチャンネルでない」ということは成り立てばこの合併法人は衰える fact12: 「あの牛肩ロース肉は混迷でない」ということは事実である
void -> assump1: 以下のように仮定する。あの牛肩ロース肉はスポットカラーチャンネルでない; assump1 -> int1: 何かはスポットカラーチャンネルでない; int1 & fact5 -> int2: この合併法人は混迷でないが衰える; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 「スポットカラーチャンネルでない」物があるとすればこの合併法人は衰える fact2: スポットカラーチャンネルはある fact3: あの洛外は衰えない一方でそれは短絡だ fact4: 仮にあの牛肩ロース肉がスポットカラーチャンネルでないとしたらこの合併法人は混迷だしそれに衰える fact5: もし「スポットカラーチャンネルでない」物があるとしたらこの合併法人は混迷でないけど衰える fact6: あの牛肩ロース肉は苦しいということはないが三十年代以後である fact7: この合併法人は衰える fact8: もし仮になにかはスポットカラーチャンネルでないとするとこの合併法人は混迷であるし衰える fact9: この合併法人は混迷で加えて衰える fact10: あの牛肩ロース肉は煎じ詰めないが征討する fact11: もしも「あの牛肩ロース肉はスポットカラーチャンネルでない」ということは成り立てばこの合併法人は衰える fact12: 「あの牛肩ロース肉は混迷でない」ということは事実である ; $hypothesis$ = 「仮にあの牛肩ロース肉がスポットカラーチャンネルでないとすればあの合併法人は混迷でないが衰える」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの牛肩ロース肉はスポットカラーチャンネルでない; assump1 -> int1: 何かはスポットカラーチャンネルでない; int1 & fact5 -> int2: この合併法人は混迷でないが衰える; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: 「スポットカラーチャンネルでない」物があるとすればこの合併法人は衰える
事実2: スポットカラーチャンネルはある
事実3: あの洛外は衰えない一方でそれは短絡だ
事実4: 仮にあの牛肩ロース肉がスポットカラーチャンネルでないとしたらこの合併法人は混迷だしそれに衰える
事実5: もし「スポットカラーチャンネルでない」物があるとしたらこの合併法人は混迷でないけど衰える
事実6: あの牛肩ロース肉は苦しいということはないが三十年代以後である
事実7: この合併法人は衰える
事実8: もし仮になにかはスポットカラーチャンネルでないとするとこの合併法人は混迷であるし衰える
事実9: この合併法人は混迷で加えて衰える
事実10: あの牛肩ロース肉は煎じ詰めないが征討する
事実11: もしも「あの牛肩ロース肉はスポットカラーチャンネルでない」ということは成り立てばこの合併法人は衰える
事実12: 「あの牛肩ロース肉は混迷でない」ということは事実である

仮説: 「仮にあの牛肩ロース肉がスポットカラーチャンネルでないとすればあの合併法人は混迷でないが衰える」ということは偽だ
1. 仮定1: 以下のように仮定する。あの牛肩ロース肉はスポットカラーチャンネルでない
2. 仮定1から、推論1: "何かはスポットカラーチャンネルでない"が導かれる
3. 推論1と事実5から、推論2: "この合併法人は混迷でないが衰える"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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