この普通預金等は編み止めしない
fact1: もし仮にその採決が浅黒いけど御越し頂くということはないならばそのＢＳＥ対策は御越し頂く fact2: 身贔屓があるならばあの政府内部は判断し難い fact3: この普通預金等が編み止めするとすればそれは立て替え払いだ fact4: 仮に「身贔屓な」物があるとするとこの政府内部は判断し難いし御越し頂く fact5: もし仮にこの普通預金等が立て替え払いならあの英語教育政策は胸水貯留である fact6: 仮にそのＢＳＥ対策が御越し頂くとすればあの政府内部は立て替え払いである fact7: もしもあの英語教育政策が立て替え払いだとすればこの普通預金等は編み止めする fact8: その採決は浅黒いがしかしそれは判断し難くない fact9: 仮にとあるものが御越し頂かないならば立て替え払いであるかもしくはそれは胸水貯留であるかまたはどちらもである fact10: 「身贔屓な」物はある fact11: もしも「なにがしかの物は胸水貯留でなくて立て替え払いでない」ということは正しくないなら立て替え払いである fact12: もしもあの英語教育政策が編み止めするとすればこの普通預金等は編み止めする fact13: なにがしかの物は御越し頂く fact14: この政府内部は浅黒くない fact15: 立て替え払いは編み止めする fact16: もし仮にあの英語教育政策が胸水貯留だとするとこの政府内部は胸水貯留であるけどそれは浅黒くない fact17: もしもこの政府内部は御越し頂くとすると「それは胸水貯留で浅黒くない」ということは偽である
void -> assump1: 以下のように仮定する。この普通預金等は編み止めする; fact3 & assump1 -> int1: この普通預金等は立て替え払いである; int1 & fact5 -> int2: あの英語教育政策は胸水貯留である; int2 & fact16 -> int3: この政府内部は胸水貯留であるが浅黒くない; fact10 & fact4 -> int4: この政府内部は判断し難くて御越し頂く; int4 -> int5: この政府内部は御越し頂く; int5 & fact17 -> int6: 「この政府内部は胸水貯留だ一方でそれは浅黒くない」ということは間違いだ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この普通預金等は編み止めする
$facts$ = fact1: もし仮にその採決が浅黒いけど御越し頂くということはないならばそのＢＳＥ対策は御越し頂く fact2: 身贔屓があるならばあの政府内部は判断し難い fact3: この普通預金等が編み止めするとすればそれは立て替え払いだ fact4: 仮に「身贔屓な」物があるとするとこの政府内部は判断し難いし御越し頂く fact5: もし仮にこの普通預金等が立て替え払いならあの英語教育政策は胸水貯留である fact6: 仮にそのＢＳＥ対策が御越し頂くとすればあの政府内部は立て替え払いである fact7: もしもあの英語教育政策が立て替え払いだとすればこの普通預金等は編み止めする fact8: その採決は浅黒いがしかしそれは判断し難くない fact9: 仮にとあるものが御越し頂かないならば立て替え払いであるかもしくはそれは胸水貯留であるかまたはどちらもである fact10: 「身贔屓な」物はある fact11: もしも「なにがしかの物は胸水貯留でなくて立て替え払いでない」ということは正しくないなら立て替え払いである fact12: もしもあの英語教育政策が編み止めするとすればこの普通預金等は編み止めする fact13: なにがしかの物は御越し頂く fact14: この政府内部は浅黒くない fact15: 立て替え払いは編み止めする fact16: もし仮にあの英語教育政策が胸水貯留だとするとこの政府内部は胸水貯留であるけどそれは浅黒くない fact17: もしもこの政府内部は御越し頂くとすると「それは胸水貯留で浅黒くない」ということは偽である ; $hypothesis$ = この普通預金等は編み止めしない ; $proof$ = 
void -> assump1: 以下のように仮定する。この普通預金等は編み止めする; fact3 & assump1 -> int1: この普通預金等は立て替え払いである; int1 & fact5 -> int2: あの英語教育政策は胸水貯留である; int2 & fact16 -> int3: この政府内部は胸水貯留であるが浅黒くない; fact10 & fact4 -> int4: この政府内部は判断し難くて御越し頂く; int4 -> int5: この政府内部は御越し頂く; int5 & fact17 -> int6: 「この政府内部は胸水貯留だ一方でそれは浅黒くない」ということは間違いだ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮にその採決が浅黒いけど御越し頂くということはないならばそのＢＳＥ対策は御越し頂く
事実2: 身贔屓があるならばあの政府内部は判断し難い
事実3: この普通預金等が編み止めするとすればそれは立て替え払いだ
事実4: 仮に「身贔屓な」物があるとするとこの政府内部は判断し難いし御越し頂く
事実5: もし仮にこの普通預金等が立て替え払いならあの英語教育政策は胸水貯留である
事実6: 仮にそのＢＳＥ対策が御越し頂くとすればあの政府内部は立て替え払いである
事実7: もしもあの英語教育政策が立て替え払いだとすればこの普通預金等は編み止めする
事実8: その採決は浅黒いがしかしそれは判断し難くない
事実9: 仮にとあるものが御越し頂かないならば立て替え払いであるかもしくはそれは胸水貯留であるかまたはどちらもである
事実10: 「身贔屓な」物はある
事実11: もしも「なにがしかの物は胸水貯留でなくて立て替え払いでない」ということは正しくないなら立て替え払いである
事実12: もしもあの英語教育政策が編み止めするとすればこの普通預金等は編み止めする
事実13: なにがしかの物は御越し頂く
事実14: この政府内部は浅黒くない
事実15: 立て替え払いは編み止めする
事実16: もし仮にあの英語教育政策が胸水貯留だとするとこの政府内部は胸水貯留であるけどそれは浅黒くない
事実17: もしもこの政府内部は御越し頂くとすると「それは胸水貯留で浅黒くない」ということは偽である

仮説: この普通預金等は編み止めしない
1. 仮定1: 以下のように仮定する。この普通預金等は編み止めする
2. 事実3と仮定1から、推論1: "この普通預金等は立て替え払いである"が導かれる
3. 推論1と事実5から、推論2: "あの英語教育政策は胸水貯留である"が導かれる
4. 推論2と事実16から、推論3: "この政府内部は胸水貯留であるが浅黒くない"が導かれる
5. 事実10と事実4から、推論4: "この政府内部は判断し難くて御越し頂く"が導かれる
6. 推論4から、推論5: "この政府内部は御越し頂く"が導かれる
7. 推論5と事実17から、推論6: "「この政府内部は胸水貯留だ一方でそれは浅黒くない」ということは間違いだ"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

よって、仮説が証明されました。