「この環状列石は流れ易くない」ということは確かである
fact1: 「飽きっぽいし加えて知り難し」物があるとすればこのビッグバンは引き込む fact2: 仮にこのビッグバンは引き込むとしたら「それは交代でないし加えて野鳥である」ということは偽である fact3: もし「「ストラテジー使用であるということはない」ということは事実である」ものはあれば「その第一庁舎は飽きっぽい」ということは嘘であるということはない fact4: その第一庁舎が野鳥でないとするとこの環状列石は交代でかつ引き込む fact5: もし仮に「「ストラテジー使用でその上工場設備でない」ということは成り立たない」ものがあるとすればあの第一庁舎は飽きっぽい fact6: 「あるものは結び付き易くないし知り難くない」ということは間違っていれば知り難し fact7: もし何らかのものは引き込むとすれば「交代でないしさらにそれは野鳥でない」ということは嘘だ fact8: もしもある物が飽きっぽいならそれは流れ易くない fact9: それは結び付き易くなくてそれは知り難しという物はない fact10: もし「このビッグバンは交代でないしそれは野鳥でない」ということは成り立たないならこの環状列石は流れ易い fact11: 「その第一庁舎は結び付き易くないが知り難し」ということは嘘である fact12: 「もしもこのビッグバンは野鳥だとしたら「この環状列石は流れ易くない」ということは間違っている」ということは確かだ fact13: 「このプロジェクト名はストラテジー使用であるが工場設備でない」ということは嘘である fact14: 「このビッグバンは交代でないけれどそれは野鳥だ」ということは嘘だ fact15: それは結び付き易くなくてそれは知り難くないというものはない fact16: もし仮になにかは引き込むなら「交代でないけど野鳥だ」ということは誤りだ
fact13 -> int1: 「「ストラテジー使用だ一方で工場設備でない」ということは成り立たない」ものはある; int1 & fact5 -> int2: その第一庁舎は飽きっぽい; fact15 -> int3: 「その第一庁舎は結び付き易いということはなくて知り難くない」ということは嘘である; fact6 -> int4: 仮に「その第一庁舎は結び付き易くないし更に知り難くない」ということは嘘だとしたら知り難し; int3 & int4 -> int5: その第一庁舎は知り難し; int2 & int5 -> int6: その第一庁舎は飽きっぽくて知り難し; int6 -> int7: なにがしかの物が飽きっぽいしその上それは知り難し; int7 & fact1 -> int8: このビッグバンは引き込む; fact7 -> int9: 仮にこのビッグバンは引き込むとすれば「それは交代でなくてその上野鳥でない」ということは間違っている; int8 & int9 -> int10: 「このビッグバンは交代でないしさらにそれは野鳥でない」ということは間違いである; int10 & fact10 -> hypothesis;
この環状列石は流れ易くない
fact18 -> int11: もしもこの環状列石が飽きっぽいならば流れ易くない;
$facts$ = fact1: 「飽きっぽいし加えて知り難し」物があるとすればこのビッグバンは引き込む fact2: 仮にこのビッグバンは引き込むとしたら「それは交代でないし加えて野鳥である」ということは偽である fact3: もし「「ストラテジー使用であるということはない」ということは事実である」ものはあれば「その第一庁舎は飽きっぽい」ということは嘘であるということはない fact4: その第一庁舎が野鳥でないとするとこの環状列石は交代でかつ引き込む fact5: もし仮に「「ストラテジー使用でその上工場設備でない」ということは成り立たない」ものがあるとすればあの第一庁舎は飽きっぽい fact6: 「あるものは結び付き易くないし知り難くない」ということは間違っていれば知り難し fact7: もし何らかのものは引き込むとすれば「交代でないしさらにそれは野鳥でない」ということは嘘だ fact8: もしもある物が飽きっぽいならそれは流れ易くない fact9: それは結び付き易くなくてそれは知り難しという物はない fact10: もし「このビッグバンは交代でないしそれは野鳥でない」ということは成り立たないならこの環状列石は流れ易い fact11: 「その第一庁舎は結び付き易くないが知り難し」ということは嘘である fact12: 「もしもこのビッグバンは野鳥だとしたら「この環状列石は流れ易くない」ということは間違っている」ということは確かだ fact13: 「このプロジェクト名はストラテジー使用であるが工場設備でない」ということは嘘である fact14: 「このビッグバンは交代でないけれどそれは野鳥だ」ということは嘘だ fact15: それは結び付き易くなくてそれは知り難くないというものはない fact16: もし仮になにかは引き込むなら「交代でないけど野鳥だ」ということは誤りだ ; $hypothesis$ = 「この環状列石は流れ易くない」ということは確かである ; $proof$ = 
fact13 -> int1: 「「ストラテジー使用だ一方で工場設備でない」ということは成り立たない」ものはある; int1 & fact5 -> int2: その第一庁舎は飽きっぽい; fact15 -> int3: 「その第一庁舎は結び付き易いということはなくて知り難くない」ということは嘘である; fact6 -> int4: 仮に「その第一庁舎は結び付き易くないし更に知り難くない」ということは嘘だとしたら知り難し; int3 & int4 -> int5: その第一庁舎は知り難し; int2 & int5 -> int6: その第一庁舎は飽きっぽくて知り難し; int6 -> int7: なにがしかの物が飽きっぽいしその上それは知り難し; int7 & fact1 -> int8: このビッグバンは引き込む; fact7 -> int9: 仮にこのビッグバンは引き込むとすれば「それは交代でなくてその上野鳥でない」ということは間違っている; int8 & int9 -> int10: 「このビッグバンは交代でないしさらにそれは野鳥でない」ということは間違いである; int10 & fact10 -> hypothesis; __DISPROVED__
事実1: 「飽きっぽいし加えて知り難し」物があるとすればこのビッグバンは引き込む
事実2: 仮にこのビッグバンは引き込むとしたら「それは交代でないし加えて野鳥である」ということは偽である
事実3: もし「「ストラテジー使用であるということはない」ということは事実である」ものはあれば「その第一庁舎は飽きっぽい」ということは嘘であるということはない
事実4: その第一庁舎が野鳥でないとするとこの環状列石は交代でかつ引き込む
事実5: もし仮に「「ストラテジー使用でその上工場設備でない」ということは成り立たない」ものがあるとすればあの第一庁舎は飽きっぽい
事実6: 「あるものは結び付き易くないし知り難くない」ということは間違っていれば知り難し
事実7: もし何らかのものは引き込むとすれば「交代でないしさらにそれは野鳥でない」ということは嘘だ
事実8: もしもある物が飽きっぽいならそれは流れ易くない
事実9: それは結び付き易くなくてそれは知り難しという物はない
事実10: もし「このビッグバンは交代でないしそれは野鳥でない」ということは成り立たないならこの環状列石は流れ易い
事実11: 「その第一庁舎は結び付き易くないが知り難し」ということは嘘である
事実12: 「もしもこのビッグバンは野鳥だとしたら「この環状列石は流れ易くない」ということは間違っている」ということは確かだ
事実13: 「このプロジェクト名はストラテジー使用であるが工場設備でない」ということは嘘である
事実14: 「このビッグバンは交代でないけれどそれは野鳥だ」ということは嘘だ
事実15: それは結び付き易くなくてそれは知り難くないというものはない
事実16: もし仮になにかは引き込むなら「交代でないけど野鳥だ」ということは誤りだ

仮説: 「この環状列石は流れ易くない」ということは確かである
1. 事実13から、推論1: "「「ストラテジー使用だ一方で工場設備でない」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実5から、推論2: "その第一庁舎は飽きっぽい"が導かれる
3. 事実15から、推論3: "「その第一庁舎は結び付き易いということはなくて知り難くない」ということは嘘である"が導かれる
4. 事実6から、推論4: "仮に「その第一庁舎は結び付き易くないし更に知り難くない」ということは嘘だとしたら知り難し"が導かれる
5. 推論3と推論4から、推論5: "その第一庁舎は知り難し"が導かれる
6. 推論2と推論5から、推論6: "その第一庁舎は飽きっぽくて知り難し"が導かれる
7. 推論6から、推論7: "なにがしかの物が飽きっぽいしその上それは知り難し"が導かれる
8. 推論7と事実1から、推論8: "このビッグバンは引き込む"が導かれる
9. 事実7から、推論9: "仮にこのビッグバンは引き込むとすれば「それは交代でなくてその上野鳥でない」ということは間違っている"が導かれる
10. 推論8と推論9から、推論10: "「このビッグバンは交代でないしさらにそれは野鳥でない」ということは間違いである"が導かれる
11. 推論10と事実10から、仮説が否定される

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