この公教育は引き継げるということはない
fact1: もしこの公教育が引き継げないとすれば解け易い fact2: あの制御性能は金貸ししない fact3: あの勘弁は普遍化しない fact4: 仮にあの制御性能が恵み深くて成功し易いとしたらこの公教育はアイルランド系アメリカ人でない fact5: この公教育は金貸しするということはないとすると「引き継げる」ということは本当だ fact6: 仮になにかはアイルランド系アメリカ人でないならば引き継げる fact7: あの制御性能は捧げ切らない fact8: もし仮にあの勘弁は普遍化しないとすれば「「あの制御性能は成功し易いということはない一方でボーンキットである」ということは本当だ」ということは間違いである fact9: この公教育は成功し易くないなら「あの制御性能は引き継げるししかもアイルランド系アメリカ人だ」ということは誤りである fact10: この公教育は劣後する fact11: もし仮にあのロジャー・フライは成功し易くないならそれは御風邪である fact12: 仮にあの制御性能が金貸ししないならそれは恵み深いし解け易い fact13: 「この公教育はボーンキットだ」ということは本当だ fact14: 「この孤立チューブはきな臭くない一方で引き継げる」ということは成り立たない fact15: あの制御性能はアイルランド系アメリカ人でない fact16: この公教育は普遍化しない fact17: 「なにかは成功し易くないけどボーンキットだ」ということは成り立たないとすればそれは成功し易い fact18: この合同運用信託は金貸ししない fact19: もし仮にあの勘弁は成功し易いとすると「あの制御性能は引き継げるがしかし金貸ししない」ということは本当である fact20: 「あの勘弁は普遍化しないけど引き継げる」ということは成り立たない
fact12 & fact2 -> int1: あの制御性能は恵み深いしそれは解け易い; int1 -> int2: 「あの制御性能は恵み深い」ということは成り立つ; fact8 & fact3 -> int3: 「あの制御性能は成功し易いということはないがそれはボーンキットである」ということは嘘である; fact17 -> int4: もし「あの制御性能は成功し易くないけどボーンキットだ」ということは成り立たないとしたら成功し易い; int3 & int4 -> int5: あの制御性能は成功し易い; int2 & int5 -> int6: あの制御性能は恵み深くてさらにそれは成功し易い; int6 & fact4 -> int7: この公教育はアイルランド系アメリカ人でない; fact6 -> int8: もしも「この公教育はアイルランド系アメリカ人でない」ということは成り立つとすればそれは引き継げる; int7 & int8 -> hypothesis;
この公教育は引き継げるということはない
$facts$ = fact1: もしこの公教育が引き継げないとすれば解け易い fact2: あの制御性能は金貸ししない fact3: あの勘弁は普遍化しない fact4: 仮にあの制御性能が恵み深くて成功し易いとしたらこの公教育はアイルランド系アメリカ人でない fact5: この公教育は金貸しするということはないとすると「引き継げる」ということは本当だ fact6: 仮になにかはアイルランド系アメリカ人でないならば引き継げる fact7: あの制御性能は捧げ切らない fact8: もし仮にあの勘弁は普遍化しないとすれば「「あの制御性能は成功し易いということはない一方でボーンキットである」ということは本当だ」ということは間違いである fact9: この公教育は成功し易くないなら「あの制御性能は引き継げるししかもアイルランド系アメリカ人だ」ということは誤りである fact10: この公教育は劣後する fact11: もし仮にあのロジャー・フライは成功し易くないならそれは御風邪である fact12: 仮にあの制御性能が金貸ししないならそれは恵み深いし解け易い fact13: 「この公教育はボーンキットだ」ということは本当だ fact14: 「この孤立チューブはきな臭くない一方で引き継げる」ということは成り立たない fact15: あの制御性能はアイルランド系アメリカ人でない fact16: この公教育は普遍化しない fact17: 「なにかは成功し易くないけどボーンキットだ」ということは成り立たないとすればそれは成功し易い fact18: この合同運用信託は金貸ししない fact19: もし仮にあの勘弁は成功し易いとすると「あの制御性能は引き継げるがしかし金貸ししない」ということは本当である fact20: 「あの勘弁は普遍化しないけど引き継げる」ということは成り立たない ; $hypothesis$ = この公教育は引き継げるということはない ; $proof$ = 
fact12 & fact2 -> int1: あの制御性能は恵み深いしそれは解け易い; int1 -> int2: 「あの制御性能は恵み深い」ということは成り立つ; fact8 & fact3 -> int3: 「あの制御性能は成功し易いということはないがそれはボーンキットである」ということは嘘である; fact17 -> int4: もし「あの制御性能は成功し易くないけどボーンキットだ」ということは成り立たないとしたら成功し易い; int3 & int4 -> int5: あの制御性能は成功し易い; int2 & int5 -> int6: あの制御性能は恵み深くてさらにそれは成功し易い; int6 & fact4 -> int7: この公教育はアイルランド系アメリカ人でない; fact6 -> int8: もしも「この公教育はアイルランド系アメリカ人でない」ということは成り立つとすればそれは引き継げる; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしこの公教育が引き継げないとすれば解け易い
事実2: あの制御性能は金貸ししない
事実3: あの勘弁は普遍化しない
事実4: 仮にあの制御性能が恵み深くて成功し易いとしたらこの公教育はアイルランド系アメリカ人でない
事実5: この公教育は金貸しするということはないとすると「引き継げる」ということは本当だ
事実6: 仮になにかはアイルランド系アメリカ人でないならば引き継げる
事実7: あの制御性能は捧げ切らない
事実8: もし仮にあの勘弁は普遍化しないとすれば「「あの制御性能は成功し易いということはない一方でボーンキットである」ということは本当だ」ということは間違いである
事実9: この公教育は成功し易くないなら「あの制御性能は引き継げるししかもアイルランド系アメリカ人だ」ということは誤りである
事実10: この公教育は劣後する
事実11: もし仮にあのロジャー・フライは成功し易くないならそれは御風邪である
事実12: 仮にあの制御性能が金貸ししないならそれは恵み深いし解け易い
事実13: 「この公教育はボーンキットだ」ということは本当だ
事実14: 「この孤立チューブはきな臭くない一方で引き継げる」ということは成り立たない
事実15: あの制御性能はアイルランド系アメリカ人でない
事実16: この公教育は普遍化しない
事実17: 「なにかは成功し易くないけどボーンキットだ」ということは成り立たないとすればそれは成功し易い
事実18: この合同運用信託は金貸ししない
事実19: もし仮にあの勘弁は成功し易いとすると「あの制御性能は引き継げるがしかし金貸ししない」ということは本当である
事実20: 「あの勘弁は普遍化しないけど引き継げる」ということは成り立たない

仮説: この公教育は引き継げるということはない
1. 事実12と事実2から、推論1: "あの制御性能は恵み深いしそれは解け易い"が導かれる
2. 推論1から、推論2: "「あの制御性能は恵み深い」ということは成り立つ"が導かれる
3. 事実8と事実3から、推論3: "「あの制御性能は成功し易いということはないがそれはボーンキットである」ということは嘘である"が導かれる
4. 事実17から、推論4: "もし「あの制御性能は成功し易くないけどボーンキットだ」ということは成り立たないとしたら成功し易い"が導かれる
5. 推論3と推論4から、推論5: "あの制御性能は成功し易い"が導かれる
6. 推論2と推論5から、推論6: "あの制御性能は恵み深くてさらにそれは成功し易い"が導かれる
7. 推論6と事実4から、推論7: "この公教育はアイルランド系アメリカ人でない"が導かれる
8. 事実6から、推論8: "もしも「この公教育はアイルランド系アメリカ人でない」ということは成り立つとすればそれは引き継げる"が導かれる
9. 推論7と推論8から、仮説が否定される

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