その額は訝しい
fact1: 「あの具体的事項は持参致さない」ということは事実だとしたらその額は持参致さない fact2: その大日本史料が切り難いとすればあの行為目標は切り難い fact3: あの尾部は意外さである fact4: 仮にあの行為目標が切り難いならあのＩＦＮαは疑問だ fact5: その額は浅黒い fact6: 「「なにがしかのものはすげなくないがしかし浅黒い」ということは誤っているなら持参致す」ということは成り立つ fact7: 意外さは御掛けしなくてしかも高くない fact8: もしあの具体的事項が持参致すとしたらその額は煩がる fact9: すげないしおまけに浅黒くない物は訝しいということはない fact10: もしも「切り難い」物があるとすればあの大日本史料は切り難いかあるいは青白い fact11: あのＩＦＮαが疑問であるとしたらあの具体的事項は持参致さないし加えて煩がらない fact12: もし仮にあの尾部が御掛けしなくて加えてそれが高くないならそれは切り難い fact13: もしもある物が煩がればそれは訝しい fact14: 「あの具体的事項は浅黒くない」ということは事実だ
void -> assump1: 以下のように仮定する。あの具体的事項はすげなくないけれど浅黒い; assump1 -> int1: 「あの具体的事項は浅黒くない」ということは誤っている; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの具体的事項はすげなくないけれど浅黒い」ということは偽だ; fact6 -> int4: 「あの具体的事項はすげなくないけど浅黒い」ということは嘘だとすると持参致す; int3 & int4 -> int5: あの具体的事項は持参致す; int5 & fact8 -> int6: その額は煩がる; fact13 -> int7: もしその額が煩がるならそれは訝しい; int6 & int7 -> hypothesis;
その額は訝しくない
fact23 -> int8: もしもその額がすげない一方でそれが浅黒いということはないとすれば訝しくない; fact19 -> int9: もしもあの尾部が意外さであるとするとそれは御掛けしなくて更に高くない; int9 & fact15 -> int10: あの尾部は御掛けしないしそれに高くない; fact18 & int10 -> int11: あの尾部は切り難い; int11 -> int12: 「切り難い」物はある; int12 & fact17 -> int13: その大日本史料は切り難いかあるいは青白い;
$facts$ = fact1: 「あの具体的事項は持参致さない」ということは事実だとしたらその額は持参致さない fact2: その大日本史料が切り難いとすればあの行為目標は切り難い fact3: あの尾部は意外さである fact4: 仮にあの行為目標が切り難いならあのＩＦＮαは疑問だ fact5: その額は浅黒い fact6: 「「なにがしかのものはすげなくないがしかし浅黒い」ということは誤っているなら持参致す」ということは成り立つ fact7: 意外さは御掛けしなくてしかも高くない fact8: もしあの具体的事項が持参致すとしたらその額は煩がる fact9: すげないしおまけに浅黒くない物は訝しいということはない fact10: もしも「切り難い」物があるとすればあの大日本史料は切り難いかあるいは青白い fact11: あのＩＦＮαが疑問であるとしたらあの具体的事項は持参致さないし加えて煩がらない fact12: もし仮にあの尾部が御掛けしなくて加えてそれが高くないならそれは切り難い fact13: もしもある物が煩がればそれは訝しい fact14: 「あの具体的事項は浅黒くない」ということは事実だ ; $hypothesis$ = その額は訝しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの具体的事項はすげなくないけれど浅黒い; assump1 -> int1: 「あの具体的事項は浅黒くない」ということは誤っている; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの具体的事項はすげなくないけれど浅黒い」ということは偽だ; fact6 -> int4: 「あの具体的事項はすげなくないけど浅黒い」ということは嘘だとすると持参致す; int3 & int4 -> int5: あの具体的事項は持参致す; int5 & fact8 -> int6: その額は煩がる; fact13 -> int7: もしその額が煩がるならそれは訝しい; int6 & int7 -> hypothesis; __PROVED__
事実1: 「あの具体的事項は持参致さない」ということは事実だとしたらその額は持参致さない
事実2: その大日本史料が切り難いとすればあの行為目標は切り難い
事実3: あの尾部は意外さである
事実4: 仮にあの行為目標が切り難いならあのＩＦＮαは疑問だ
事実5: その額は浅黒い
事実6: 「「なにがしかのものはすげなくないがしかし浅黒い」ということは誤っているなら持参致す」ということは成り立つ
事実7: 意外さは御掛けしなくてしかも高くない
事実8: もしあの具体的事項が持参致すとしたらその額は煩がる
事実9: すげないしおまけに浅黒くない物は訝しいということはない
事実10: もしも「切り難い」物があるとすればあの大日本史料は切り難いかあるいは青白い
事実11: あのＩＦＮαが疑問であるとしたらあの具体的事項は持参致さないし加えて煩がらない
事実12: もし仮にあの尾部が御掛けしなくて加えてそれが高くないならそれは切り難い
事実13: もしもある物が煩がればそれは訝しい
事実14: 「あの具体的事項は浅黒くない」ということは事実だ

仮説: その額は訝しい
1. 仮定1: 以下のように仮定する。あの具体的事項はすげなくないけれど浅黒い
2. 仮定1から、推論1: "「あの具体的事項は浅黒くない」ということは誤っている"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの具体的事項はすげなくないけれど浅黒い」ということは偽だ"が導かれる
5. 事実6から、推論4: "「あの具体的事項はすげなくないけど浅黒い」ということは嘘だとすると持参致す"が導かれる
6. 推論3と推論4から、推論5: "あの具体的事項は持参致す"が導かれる
7. 推論5と事実8から、推論6: "その額は煩がる"が導かれる
8. 事実13から、推論7: "もしその額が煩がるならそれは訝しい"が導かれる
9. 推論6と推論7から、仮説が導かれる

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