「あの雅叙園は御忙しくて更に個人情報保護である」ということは本当でない
fact1: もし「「慎み深くない」ということは正しい」ものがあるとしたらあの雅叙園は個人情報保護である fact2: 仮になにがしかのものが感染し易くないとするとその導出は御忙しいかもしくはそれはこそばゆいかもしくはどちらもである fact3: あるものは個人情報保護でない fact4: 「「交渉すらない」ということは本当な」物はある fact5: もしも「慎み深くない」ものがあるとするとあの雅叙園は御忙しいししかもそれは個人情報保護である fact6: この諸政策は関連文書だ fact7: もしあの霊験はこそばゆくないけれど関連文書であるならばそれは出現し易くない fact8: もしある物が交渉すということはないとすればその導出は感染し易いかもしくは出現し易いかもしくはどちらもである fact9: もし仮にその導出が感染し易いとすればあの諸政策はこそばゆい fact10: もしもこの諸政策がこそばゆいし関連文書であるとするとそれは慎み深くない fact11: もしもその導出が出現し易いとするとこの諸政策はこそばゆい fact12: もし仮に「その導出はこそばゆい」ということは成り立つとすればこの諸政策は感染し易い fact13: なにかは慎み深い fact14: あの雅叙園は個人情報保護で慎み深い fact15: 仮にその導出が御忙しいとするとあの雅叙園は出現し易い fact16: もしもとあるものは交渉すらないなら「御忙しいしおまけに個人情報保護だ」ということは偽だ
fact4 & fact8 -> int1: その導出は感染し易いかもしくは出現し易い; int1 & fact9 & fact11 -> int2: 「この諸政策はこそばゆい」ということは偽でない; int2 & fact6 -> int3: この諸政策はこそばゆくてさらに関連文書である; int3 & fact10 -> int4: この諸政策は慎み深くない; int4 -> int5: 何らかのものは慎み深いということはない; int5 & fact5 -> hypothesis;
あの霊験は感染し易い
$facts$ = fact1: もし「「慎み深くない」ということは正しい」ものがあるとしたらあの雅叙園は個人情報保護である fact2: 仮になにがしかのものが感染し易くないとするとその導出は御忙しいかもしくはそれはこそばゆいかもしくはどちらもである fact3: あるものは個人情報保護でない fact4: 「「交渉すらない」ということは本当な」物はある fact5: もしも「慎み深くない」ものがあるとするとあの雅叙園は御忙しいししかもそれは個人情報保護である fact6: この諸政策は関連文書だ fact7: もしあの霊験はこそばゆくないけれど関連文書であるならばそれは出現し易くない fact8: もしある物が交渉すということはないとすればその導出は感染し易いかもしくは出現し易いかもしくはどちらもである fact9: もし仮にその導出が感染し易いとすればあの諸政策はこそばゆい fact10: もしもこの諸政策がこそばゆいし関連文書であるとするとそれは慎み深くない fact11: もしもその導出が出現し易いとするとこの諸政策はこそばゆい fact12: もし仮に「その導出はこそばゆい」ということは成り立つとすればこの諸政策は感染し易い fact13: なにかは慎み深い fact14: あの雅叙園は個人情報保護で慎み深い fact15: 仮にその導出が御忙しいとするとあの雅叙園は出現し易い fact16: もしもとあるものは交渉すらないなら「御忙しいしおまけに個人情報保護だ」ということは偽だ ; $hypothesis$ = 「あの雅叙園は御忙しくて更に個人情報保護である」ということは本当でない ; $proof$ = 
fact4 & fact8 -> int1: その導出は感染し易いかもしくは出現し易い; int1 & fact9 & fact11 -> int2: 「この諸政策はこそばゆい」ということは偽でない; int2 & fact6 -> int3: この諸政策はこそばゆくてさらに関連文書である; int3 & fact10 -> int4: この諸政策は慎み深くない; int4 -> int5: 何らかのものは慎み深いということはない; int5 & fact5 -> hypothesis; __DISPROVED__
事実1: もし「「慎み深くない」ということは正しい」ものがあるとしたらあの雅叙園は個人情報保護である
事実2: 仮になにがしかのものが感染し易くないとするとその導出は御忙しいかもしくはそれはこそばゆいかもしくはどちらもである
事実3: あるものは個人情報保護でない
事実4: 「「交渉すらない」ということは本当な」物はある
事実5: もしも「慎み深くない」ものがあるとするとあの雅叙園は御忙しいししかもそれは個人情報保護である
事実6: この諸政策は関連文書だ
事実7: もしあの霊験はこそばゆくないけれど関連文書であるならばそれは出現し易くない
事実8: もしある物が交渉すということはないとすればその導出は感染し易いかもしくは出現し易いかもしくはどちらもである
事実9: もし仮にその導出が感染し易いとすればあの諸政策はこそばゆい
事実10: もしもこの諸政策がこそばゆいし関連文書であるとするとそれは慎み深くない
事実11: もしもその導出が出現し易いとするとこの諸政策はこそばゆい
事実12: もし仮に「その導出はこそばゆい」ということは成り立つとすればこの諸政策は感染し易い
事実13: なにかは慎み深い
事実14: あの雅叙園は個人情報保護で慎み深い
事実15: 仮にその導出が御忙しいとするとあの雅叙園は出現し易い
事実16: もしもとあるものは交渉すらないなら「御忙しいしおまけに個人情報保護だ」ということは偽だ

仮説: 「あの雅叙園は御忙しくて更に個人情報保護である」ということは本当でない
1. 事実4と事実8から、推論1: "その導出は感染し易いかもしくは出現し易い"が導かれる
2. 推論1と事実9と事実11から、推論2: "「この諸政策はこそばゆい」ということは偽でない"が導かれる
3. 推論2と事実6から、推論3: "この諸政策はこそばゆくてさらに関連文書である"が導かれる
4. 推論3と事実10から、推論4: "この諸政策は慎み深くない"が導かれる
5. 推論4から、推論5: "何らかのものは慎み深いということはない"が導かれる
6. 推論5と事実5から、仮説が否定される

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