あの資金回収はエクセルである
fact1: その触覚は湿気易いがしかし酔い易くない fact2: もし仮に何らかの物は縁先ならば「それは薬物関連問題だがしかし判別し易くない」ということは成り立たない fact3: もしもこのアメリカ女性はあぶれないならあの財務省原案は納得しない fact4: もしこの防御機構が判別し易くないならばその巻末参照は縁先だということはないし薬物関連問題でない fact5: 「あの財務省原案は薬物関連問題だけれど判別し易くない」ということは誤りであるならばあの残留は御報告致すということはない fact6: 仮に「あの財務省原案は御報告致すがあぶれない」ということは成り立たないならばこの防御機構は判別し易くない fact7: もしもこのアメリカ女性が縁先でないしその上それが納得しないとすればその巻末参照は縁先だ fact8: もし「とある物は判別し易いかもしくはそれは薬物関連問題でないかあるいは両方である」ということは成り立たないならそれはエクセルでない fact9: 「あの財務省原案は出来難い」ということは成り立つならあの資金回収はエクセルである fact10: その巻末参照は薬物関連問題でない fact11: あの資金回収は縁先でない fact12: 仮に「このアメリカ女性は縁先だがしかし納得しない」ということは本当だとするとその巻末参照は縁先だ fact13: 「この東京高裁は納得する」ということは正しい fact14: このアメリカ女性がエクセルであるとしたらあの資金回収は納得する fact15: もしもあの財務省原案があぶれるならこの防御機構は判別し易くない fact16: 「あの財務省原案は御報告致すしまたあぶれる」ということは成り立つということはない fact17: あるものが御報告致すなら出来難い fact18: 「もし仮になにがしかの物が判別し易いならばあぶれる」ということは成り立つ fact19: このアメリカ女性は縁先でなくて更に納得しない
void -> assump1: 以下のように仮定する。「「あの財務省原案は御報告致すけれどそれはあぶれない」ということは誤っている」ということは本当だ; fact6 & assump1 -> int1: この防御機構は判別し易くない; int1 & fact4 -> int2: その巻末参照は縁先でないし更にそれは薬物関連問題でない; int2 -> int3: その巻末参照は縁先でない; fact19 & fact7 -> int4: その巻末参照は縁先だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの財務省原案は御報告致す一方であぶれない; int6 -> int7: あの財務省原案は御報告致す; fact17 -> int8: 「もしも「あの財務省原案は御報告致す」ということは事実だとしたらあの財務省原案は出来難い」ということは成り立つ; int7 & int8 -> int9: あの財務省原案は出来難い; int9 & fact9 -> hypothesis;
あの残留は御報告致さない
fact20 -> int10: もし仮に「あの財務省原案は縁先である」ということは正しいとすると「それは薬物関連問題であるけど判別し易くない」ということは成り立たない;
$facts$ = fact1: その触覚は湿気易いがしかし酔い易くない fact2: もし仮に何らかの物は縁先ならば「それは薬物関連問題だがしかし判別し易くない」ということは成り立たない fact3: もしもこのアメリカ女性はあぶれないならあの財務省原案は納得しない fact4: もしこの防御機構が判別し易くないならばその巻末参照は縁先だということはないし薬物関連問題でない fact5: 「あの財務省原案は薬物関連問題だけれど判別し易くない」ということは誤りであるならばあの残留は御報告致すということはない fact6: 仮に「あの財務省原案は御報告致すがあぶれない」ということは成り立たないならばこの防御機構は判別し易くない fact7: もしもこのアメリカ女性が縁先でないしその上それが納得しないとすればその巻末参照は縁先だ fact8: もし「とある物は判別し易いかもしくはそれは薬物関連問題でないかあるいは両方である」ということは成り立たないならそれはエクセルでない fact9: 「あの財務省原案は出来難い」ということは成り立つならあの資金回収はエクセルである fact10: その巻末参照は薬物関連問題でない fact11: あの資金回収は縁先でない fact12: 仮に「このアメリカ女性は縁先だがしかし納得しない」ということは本当だとするとその巻末参照は縁先だ fact13: 「この東京高裁は納得する」ということは正しい fact14: このアメリカ女性がエクセルであるとしたらあの資金回収は納得する fact15: もしもあの財務省原案があぶれるならこの防御機構は判別し易くない fact16: 「あの財務省原案は御報告致すしまたあぶれる」ということは成り立つということはない fact17: あるものが御報告致すなら出来難い fact18: 「もし仮になにがしかの物が判別し易いならばあぶれる」ということは成り立つ fact19: このアメリカ女性は縁先でなくて更に納得しない ; $hypothesis$ = あの資金回収はエクセルである ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あの財務省原案は御報告致すけれどそれはあぶれない」ということは誤っている」ということは本当だ; fact6 & assump1 -> int1: この防御機構は判別し易くない; int1 & fact4 -> int2: その巻末参照は縁先でないし更にそれは薬物関連問題でない; int2 -> int3: その巻末参照は縁先でない; fact19 & fact7 -> int4: その巻末参照は縁先だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの財務省原案は御報告致す一方であぶれない; int6 -> int7: あの財務省原案は御報告致す; fact17 -> int8: 「もしも「あの財務省原案は御報告致す」ということは事実だとしたらあの財務省原案は出来難い」ということは成り立つ; int7 & int8 -> int9: あの財務省原案は出来難い; int9 & fact9 -> hypothesis; __PROVED__
事実1: その触覚は湿気易いがしかし酔い易くない
事実2: もし仮に何らかの物は縁先ならば「それは薬物関連問題だがしかし判別し易くない」ということは成り立たない
事実3: もしもこのアメリカ女性はあぶれないならあの財務省原案は納得しない
事実4: もしこの防御機構が判別し易くないならばその巻末参照は縁先だということはないし薬物関連問題でない
事実5: 「あの財務省原案は薬物関連問題だけれど判別し易くない」ということは誤りであるならばあの残留は御報告致すということはない
事実6: 仮に「あの財務省原案は御報告致すがあぶれない」ということは成り立たないならばこの防御機構は判別し易くない
事実7: もしもこのアメリカ女性が縁先でないしその上それが納得しないとすればその巻末参照は縁先だ
事実8: もし「とある物は判別し易いかもしくはそれは薬物関連問題でないかあるいは両方である」ということは成り立たないならそれはエクセルでない
事実9: 「あの財務省原案は出来難い」ということは成り立つならあの資金回収はエクセルである
事実10: その巻末参照は薬物関連問題でない
事実11: あの資金回収は縁先でない
事実12: 仮に「このアメリカ女性は縁先だがしかし納得しない」ということは本当だとするとその巻末参照は縁先だ
事実13: 「この東京高裁は納得する」ということは正しい
事実14: このアメリカ女性がエクセルであるとしたらあの資金回収は納得する
事実15: もしもあの財務省原案があぶれるならこの防御機構は判別し易くない
事実16: 「あの財務省原案は御報告致すしまたあぶれる」ということは成り立つということはない
事実17: あるものが御報告致すなら出来難い
事実18: 「もし仮になにがしかの物が判別し易いならばあぶれる」ということは成り立つ
事実19: このアメリカ女性は縁先でなくて更に納得しない

仮説: あの資金回収はエクセルである
1. 仮定1: 以下のように仮定する。「「あの財務省原案は御報告致すけれどそれはあぶれない」ということは誤っている」ということは本当だ
2. 事実6と仮定1から、推論1: "この防御機構は判別し易くない"が導かれる
3. 推論1と事実4から、推論2: "その巻末参照は縁先でないし更にそれは薬物関連問題でない"が導かれる
4. 推論2から、推論3: "その巻末参照は縁先でない"が導かれる
5. 事実19と事実7から、推論4: "その巻末参照は縁先だ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの財務省原案は御報告致す一方であぶれない"が導かれる
8. 推論6から、推論7: "あの財務省原案は御報告致す"が導かれる
9. 事実17から、推論8: "「もしも「あの財務省原案は御報告致す」ということは事実だとしたらあの財務省原案は出来難い」ということは成り立つ"が導かれる
10. 推論7と推論8から、推論9: "あの財務省原案は出来難い"が導かれる
11. 推論9と事実9から、仮説が導かれる

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