あのＰＣ鋼材はアップル企画部でない
fact1: あのＰＣ鋼材はラウリであるということはなくてシステムベンダーでないならそれはアップル企画部だ fact2: もしあのカンニングが継続し難いということはないけど見交わすとしたらその百日祝は継続し難い fact3: あの高炉スラグ微粉末がフィルム・シートであるしアップル企画部だとすればあのＰＣ鋼材はアップル企画部でない fact4: もしなんらかのものが滅ぼすしそれにラウリであるならあの高炉スラグ微粉末はシステムベンダーでない fact5: もし仮にあのＰＣ鋼材はラウリであるけどシステムベンダーでないとしたらそれはアップル企画部である fact6: 「「その百日祝は滅ぼすし青白い」ということは成り立たない」ということは成り立つとしたらあの高炉スラグ微粉末は滅ぼさない fact7: もしあの規律が見交わすとしたらあのカンニングは見交わす fact8: その百日祝が継続し難くないとするとあのＰＣ鋼材は構え易くなくて見交わさない fact9: その百日祝が継続し難いということはないとしたらあのＰＣ鋼材は見交わさない fact10: とあるものは滅ぼすということはないなら「それはフィルム・シートだけどアップル企画部でない」ということは間違いだ fact11: あの高炉スラグ微粉末はフィルム・シートであるしさらに滅ぼす fact12: 何らかの物はラウリでないがしかしシステムベンダーである fact13: 「もし仮にあのＰＣ鋼材は構え易くないとしたら「あのＰＣ鋼材はラウリだということはない」ということは偽でない」ということは嘘でない fact14: 仮になにがしかのものが滅ぼさないとすればそれはフィルム・シートでまたアップル企画部だ fact15: もし仮にあのＰＣ鋼材が構え易くないならばそれはラウリでないしシステムベンダーでない fact16: 「あのＰＣ鋼材は見交わさない」ということは真実である fact17: 「フィルム・シートだしさらに青白い」ものがあるとすればあの百日祝は継続し難くない fact18: 仮にあのカンニングは継続し難くないなら「その百日祝は滅ぼすしまた青白い」ということは成り立たない fact19: 仮にあのＰＣ鋼材は滅ぼさなくて見交わさないならそれはラウリである fact20: あの高炉スラグ微粉末は青白い fact21: あの高炉スラグ微粉末は滅ぼす fact22: 「フィルム・シートである」ものはある fact23: もし仮に「あの高炉スラグ微粉末がフィルム・シートだけどアップル企画部だということはない」ということは誤りだとすると「あのＰＣ鋼材はアップル企画部でない」ということは確かだ
fact11 -> int1: あの高炉スラグ微粉末はフィルム・シートだ; int1 & fact20 -> int2: あの高炉スラグ微粉末はフィルム・シートで加えて青白い; int2 -> int3: 「フィルム・シートであるしさらに青白い」ものはある; int3 & fact17 -> int4: その百日祝は継続し難くない; int4 & fact8 -> int5: あのＰＣ鋼材は構え易くないしまた見交わさない; int5 -> int6: あのＰＣ鋼材は構え易くない; int6 & fact15 -> int7: あのＰＣ鋼材はラウリでなくてそれはシステムベンダーでない; int7 & fact1 -> hypothesis;
「あのＰＣ鋼材はアップル企画部でない」ということは成り立つ
fact26 -> int8: 仮にあの高炉スラグ微粉末が滅ぼさないとしたらフィルム・シートであるしアップル企画部だ;
$facts$ = fact1: あのＰＣ鋼材はラウリであるということはなくてシステムベンダーでないならそれはアップル企画部だ fact2: もしあのカンニングが継続し難いということはないけど見交わすとしたらその百日祝は継続し難い fact3: あの高炉スラグ微粉末がフィルム・シートであるしアップル企画部だとすればあのＰＣ鋼材はアップル企画部でない fact4: もしなんらかのものが滅ぼすしそれにラウリであるならあの高炉スラグ微粉末はシステムベンダーでない fact5: もし仮にあのＰＣ鋼材はラウリであるけどシステムベンダーでないとしたらそれはアップル企画部である fact6: 「「その百日祝は滅ぼすし青白い」ということは成り立たない」ということは成り立つとしたらあの高炉スラグ微粉末は滅ぼさない fact7: もしあの規律が見交わすとしたらあのカンニングは見交わす fact8: その百日祝が継続し難くないとするとあのＰＣ鋼材は構え易くなくて見交わさない fact9: その百日祝が継続し難いということはないとしたらあのＰＣ鋼材は見交わさない fact10: とあるものは滅ぼすということはないなら「それはフィルム・シートだけどアップル企画部でない」ということは間違いだ fact11: あの高炉スラグ微粉末はフィルム・シートであるしさらに滅ぼす fact12: 何らかの物はラウリでないがしかしシステムベンダーである fact13: 「もし仮にあのＰＣ鋼材は構え易くないとしたら「あのＰＣ鋼材はラウリだということはない」ということは偽でない」ということは嘘でない fact14: 仮になにがしかのものが滅ぼさないとすればそれはフィルム・シートでまたアップル企画部だ fact15: もし仮にあのＰＣ鋼材が構え易くないならばそれはラウリでないしシステムベンダーでない fact16: 「あのＰＣ鋼材は見交わさない」ということは真実である fact17: 「フィルム・シートだしさらに青白い」ものがあるとすればあの百日祝は継続し難くない fact18: 仮にあのカンニングは継続し難くないなら「その百日祝は滅ぼすしまた青白い」ということは成り立たない fact19: 仮にあのＰＣ鋼材は滅ぼさなくて見交わさないならそれはラウリである fact20: あの高炉スラグ微粉末は青白い fact21: あの高炉スラグ微粉末は滅ぼす fact22: 「フィルム・シートである」ものはある fact23: もし仮に「あの高炉スラグ微粉末がフィルム・シートだけどアップル企画部だということはない」ということは誤りだとすると「あのＰＣ鋼材はアップル企画部でない」ということは確かだ ; $hypothesis$ = あのＰＣ鋼材はアップル企画部でない ; $proof$ = 
fact11 -> int1: あの高炉スラグ微粉末はフィルム・シートだ; int1 & fact20 -> int2: あの高炉スラグ微粉末はフィルム・シートで加えて青白い; int2 -> int3: 「フィルム・シートであるしさらに青白い」ものはある; int3 & fact17 -> int4: その百日祝は継続し難くない; int4 & fact8 -> int5: あのＰＣ鋼材は構え易くないしまた見交わさない; int5 -> int6: あのＰＣ鋼材は構え易くない; int6 & fact15 -> int7: あのＰＣ鋼材はラウリでなくてそれはシステムベンダーでない; int7 & fact1 -> 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: もし仮に「あの高炉スラグ微粉末がフィルム・シートだけどアップル企画部だということはない」ということは誤りだとすると「あのＰＣ鋼材はアップル企画部でない」ということは確かだ

仮説: あのＰＣ鋼材はアップル企画部でない
1. 事実11から、推論1: "あの高炉スラグ微粉末はフィルム・シートだ"が導かれる
2. 推論1と事実20から、推論2: "あの高炉スラグ微粉末はフィルム・シートで加えて青白い"が導かれる
3. 推論2から、推論3: "「フィルム・シートであるしさらに青白い」ものはある"が導かれる
4. 推論3と事実17から、推論4: "その百日祝は継続し難くない"が導かれる
5. 推論4と事実8から、推論5: "あのＰＣ鋼材は構え易くないしまた見交わさない"が導かれる
6. 推論5から、推論6: "あのＰＣ鋼材は構え易くない"が導かれる
7. 推論6と事実15から、推論7: "あのＰＣ鋼材はラウリでなくてそれはシステムベンダーでない"が導かれる
8. 推論7と事実1から、仮説が否定される

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