あの各宗は離す
fact1: もし「何らかのものは形作らない一方で策する」ということは確かでないなら策しない fact2: もしあの各宗は兼務するということはないがしかし薄暗いとすれば疑い深くない fact3: もしこの再生計画認可決定は薄暗くないなら「あの各宗は兼務しないが薄暗い」ということは正しい fact4: 仮に「「策するしまた疑い深くない」ということは成り立たない」ものがあるならこのブルーチーズ和えは策しない fact5: 「その医療不信は策する」ということは本当だ fact6: この戦乱は御恥ずかしいということはないけれど皮肉っぽいとすれば併用する fact7: もし仮に何かは併用するとしたら「布置するし発現し易くない」ということは成り立つということはない fact8: もしもあの各宗が彼らしいならば離さない fact9: その医療不信は彼らしい fact10: この再生計画認可決定は疑い深いということはない時間外労働制限請求書だ fact11: もしその医療不信が決め難くてそれは鉄砲使用なら「この再生計画認可決定は薄暗くない」ということは真実だ fact12: この再生計画認可決定が薄暗くないとしたらあの各宗は薄暗い fact13: あの各宗は薄暗い fact14: 仮に「この戦乱は布置するけど発現し易くない」ということは成り立つということはないとするとこの再生計画認可決定は布置する fact15: もしも「何らかの物は兼務する」ということは本当だとすれば「薄暗い」ということは誤りでない fact16: あの各宗が疑い深くなくて彼らしくないとしたらこの戦乱は策する fact17: もしもその医療不信が離せばあの各宗は離す fact18: 仮にこの戦乱が策するしそれが離すならばあの各宗は薄暗くない fact19: その医療不信は決め難い fact20: 「この戦乱は策しない」ということは成り立つ fact21: 「その統治者は策しない」ということは成り立つ fact22: 仮にこの再生計画認可決定は布置するとすれば「その医療不信は形作らないけれどそれは策する」ということは嘘である fact23: 仮に何らかのものが策するということはないなら兼務するしかつ彼らしい fact24: もし「なにがしかの物は離さないしおまけに疑い深くない」ということは誤っているとするとそれは離す fact25: その医療不信は決め難いしさらに鉄砲使用である fact26: もし仮にあの各宗が鉄砲使用でないとするとその医療不信は兼務しないけれど鉄砲使用である
fact11 & fact25 -> int1: この再生計画認可決定は薄暗いということはない; int1 & fact3 -> int2: あの各宗は兼務するということはない一方で薄暗い; int2 & fact2 -> int3: あの各宗は疑い深くない; void -> assump1: 以下のように仮定する。あの各宗は彼らしくない; int3 & assump1 -> int4: あの各宗は疑い深くなくて加えてそれは彼らしいということはない; int4 & fact16 -> int5: 「この戦乱は策する」ということは成り立つ; int5 & fact20 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの各宗は彼らしい; int7 & fact8 -> hypothesis;
あの各宗は離す
fact30 -> int8: もし「その医療不信は離すということはないし更に疑い深くない」ということは本当でないならそれは離す; fact33 -> int9: もし仮にその医療不信が兼務するとするとそれは薄暗い; fact27 -> int10: その医療不信が策するということはないとすればそれは兼務するしさらにそれは彼らしい; fact29 -> int11: もし「その医療不信は形作らないけれど策する」ということは成り立つということはないなら策するということはない; fact31 -> int12: もしこの戦乱は併用すれば「それは布置するが発現し易いということはない」ということは間違っている;
$facts$ = fact1: もし「何らかのものは形作らない一方で策する」ということは確かでないなら策しない fact2: もしあの各宗は兼務するということはないがしかし薄暗いとすれば疑い深くない fact3: もしこの再生計画認可決定は薄暗くないなら「あの各宗は兼務しないが薄暗い」ということは正しい fact4: 仮に「「策するしまた疑い深くない」ということは成り立たない」ものがあるならこのブルーチーズ和えは策しない fact5: 「その医療不信は策する」ということは本当だ fact6: この戦乱は御恥ずかしいということはないけれど皮肉っぽいとすれば併用する fact7: もし仮に何かは併用するとしたら「布置するし発現し易くない」ということは成り立つということはない fact8: もしもあの各宗が彼らしいならば離さない fact9: その医療不信は彼らしい fact10: この再生計画認可決定は疑い深いということはない時間外労働制限請求書だ fact11: もしその医療不信が決め難くてそれは鉄砲使用なら「この再生計画認可決定は薄暗くない」ということは真実だ fact12: この再生計画認可決定が薄暗くないとしたらあの各宗は薄暗い fact13: あの各宗は薄暗い fact14: 仮に「この戦乱は布置するけど発現し易くない」ということは成り立つということはないとするとこの再生計画認可決定は布置する fact15: もしも「何らかの物は兼務する」ということは本当だとすれば「薄暗い」ということは誤りでない fact16: あの各宗が疑い深くなくて彼らしくないとしたらこの戦乱は策する fact17: もしもその医療不信が離せばあの各宗は離す fact18: 仮にこの戦乱が策するしそれが離すならばあの各宗は薄暗くない fact19: その医療不信は決め難い fact20: 「この戦乱は策しない」ということは成り立つ fact21: 「その統治者は策しない」ということは成り立つ fact22: 仮にこの再生計画認可決定は布置するとすれば「その医療不信は形作らないけれどそれは策する」ということは嘘である fact23: 仮に何らかのものが策するということはないなら兼務するしかつ彼らしい fact24: もし「なにがしかの物は離さないしおまけに疑い深くない」ということは誤っているとするとそれは離す fact25: その医療不信は決め難いしさらに鉄砲使用である fact26: もし仮にあの各宗が鉄砲使用でないとするとその医療不信は兼務しないけれど鉄砲使用である ; $hypothesis$ = あの各宗は離す ; $proof$ = 
fact11 & fact25 -> int1: この再生計画認可決定は薄暗いということはない; int1 & fact3 -> int2: あの各宗は兼務するということはない一方で薄暗い; int2 & fact2 -> int3: あの各宗は疑い深くない; void -> assump1: 以下のように仮定する。あの各宗は彼らしくない; int3 & assump1 -> int4: あの各宗は疑い深くなくて加えてそれは彼らしいということはない; int4 & fact16 -> int5: 「この戦乱は策する」ということは成り立つ; int5 & fact20 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの各宗は彼らしい; int7 & fact8 -> 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: 仮に何らかのものが策するということはないなら兼務するしかつ彼らしい
事実24: もし「なにがしかの物は離さないしおまけに疑い深くない」ということは誤っているとするとそれは離す
事実25: その医療不信は決め難いしさらに鉄砲使用である
事実26: もし仮にあの各宗が鉄砲使用でないとするとその医療不信は兼務しないけれど鉄砲使用である

仮説: あの各宗は離す
1. 事実11と事実25から、推論1: "この再生計画認可決定は薄暗いということはない"が導かれる
2. 推論1と事実3から、推論2: "あの各宗は兼務するということはない一方で薄暗い"が導かれる
3. 推論2と事実2から、推論3: "あの各宗は疑い深くない"が導かれる
4. 仮定1: 以下のように仮定する。あの各宗は彼らしくない
5. 推論3と仮定1から、推論4: "あの各宗は疑い深くなくて加えてそれは彼らしいということはない"が導かれる
6. 推論4と事実16から、推論5: "「この戦乱は策する」ということは成り立つ"が導かれる
7. 推論5と事実20から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの各宗は彼らしい"が導かれる
9. 推論7と事実8から、仮説が否定される

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