その外部機器は気難しい
fact1: ある物は小火だということはないし力無くない fact2: 仮にあるものは力無いとすれば「「小火でないがしかし正面衝突する」ということは成り立つ」ということは成り立たない fact3: あの儒学は正面衝突する fact4: 仮に「「何かは返し縫いだけれど忘れ易くない」ということは真実だ」ということは誤りだとすればそれは返し縫いだということはない fact5: 「「仕切り直すしそれに汚らしくない」ということは間違いである」物はある fact6: 「「等しいが小火でない」ということは事実でない」ものはある fact7: もしもなんらかの物は返し縫いでないとすれば「力無くないししかも怖くない」ということは成り立つということはない fact8: もしもその駝鳥が俗っぽいならばあの市区改正は御美しい fact9: もし仮に「その短繊維は力無くなくてまた怖くない」ということは誤りだとしたらあの質問紙は力無くない fact10: もしも「なんらかのものは力無くないかあるいはそれは返し縫いであるかもしくはどちらもである」ということは偽なら気難しい fact11: もし仮にあの儒学は正面衝突するとすれば「譲位しないしさらにそれは等しくない」ということは偽だ fact12: 仮にあの質問紙が力無くないならあの儒学は力無い fact13: もしもあの市区改正が御美しいしかつ賛成し難いとしたらその短繊維は御美しくない fact14: 「請け出す」ものはある fact15: もし仮に「不易だということはなくて更に易しくない」ものがあるとすればその駝鳥は俗っぽい fact16: もし「請け出す」ものがあればその幼児期はケアするしそれにそれはクローム・鍍金だ fact17: 仮になにかは御美しくないとしたら「返し縫いであるけど忘れ易いということはない」ということは成り立たない fact18: 「あの儒学は小火であるということはないが正面衝突する」ということは間違っていればその外部機器は気難しくない fact19: その井戸掘り職人は正面衝突する fact20: あの御前自身は不易であるということはなくてそれは易しいということはない fact21: 仮に「「譲位しないし更に等しくない」ということは本当でない」ものがあるならあの質問紙は小火でない fact22: その幼児期は湿気易い fact23: もしもあの質問紙は小火であるということはないなら「その外部機器は力無くないかあるいは返し縫いであるかまたは両方ともだ」ということは成り立つということはない
fact11 & fact3 -> int1: 「あの儒学は譲位しなくて等しくない」ということは成り立たない; int1 -> int2: 「「譲位しなくておまけに等しくない」ということは成り立つということはない」ものはある; int2 & fact21 -> int3: あの質問紙は小火でない; int3 & fact23 -> int4: 「「その外部機器は力無くないかあるいは返し縫いであるか両方である」ということは成り立たない」ということは成り立つ; fact10 -> int5: 「その外部機器は力無くないかあるいは返し縫いであるかあるいはどちらもだ」ということは本当でないとすれば「それは気難しい」ということは成り立つ; int4 & int5 -> hypothesis;
その外部機器は気難しくない
fact32 -> int6: もし仮にあの儒学は力無いとしたら「小火であるということはないしさらにそれは正面衝突する」ということは成り立たない; fact26 -> int7: もしもその短繊維は返し縫いでないとすれば「それは力無くなくて加えて怖くない」ということは嘘だ; fact28 -> int8: 「その短繊維は返し縫いであるが忘れ易くない」ということは事実でないならば返し縫いでない; fact25 -> int9: 仮にその短繊維は御美しくないならば「返し縫いであるが忘れ易いということはない」ということは成り立つということはない; fact24 -> int10: ある物は不易でなくて易しくない; int10 & fact31 -> int11: その駝鳥は俗っぽい; fact30 & int11 -> int12: あの市区改正は御美しい; fact37 & fact35 -> int13: その幼児期はケアするし更にクローム・鍍金である; int13 -> int14: その幼児期はクローム・鍍金だ; int14 & fact36 -> int15: その幼児期はクローム・鍍金だしまた湿気易い; int15 -> int16: 「クローム・鍍金であるしまた湿気易い」物はある;
$facts$ = fact1: ある物は小火だということはないし力無くない fact2: 仮にあるものは力無いとすれば「「小火でないがしかし正面衝突する」ということは成り立つ」ということは成り立たない fact3: あの儒学は正面衝突する fact4: 仮に「「何かは返し縫いだけれど忘れ易くない」ということは真実だ」ということは誤りだとすればそれは返し縫いだということはない fact5: 「「仕切り直すしそれに汚らしくない」ということは間違いである」物はある fact6: 「「等しいが小火でない」ということは事実でない」ものはある fact7: もしもなんらかの物は返し縫いでないとすれば「力無くないししかも怖くない」ということは成り立つということはない fact8: もしもその駝鳥が俗っぽいならばあの市区改正は御美しい fact9: もし仮に「その短繊維は力無くなくてまた怖くない」ということは誤りだとしたらあの質問紙は力無くない fact10: もしも「なんらかのものは力無くないかあるいはそれは返し縫いであるかもしくはどちらもである」ということは偽なら気難しい fact11: もし仮にあの儒学は正面衝突するとすれば「譲位しないしさらにそれは等しくない」ということは偽だ fact12: 仮にあの質問紙が力無くないならあの儒学は力無い fact13: もしもあの市区改正が御美しいしかつ賛成し難いとしたらその短繊維は御美しくない fact14: 「請け出す」ものはある fact15: もし仮に「不易だということはなくて更に易しくない」ものがあるとすればその駝鳥は俗っぽい fact16: もし「請け出す」ものがあればその幼児期はケアするしそれにそれはクローム・鍍金だ fact17: 仮になにかは御美しくないとしたら「返し縫いであるけど忘れ易いということはない」ということは成り立たない fact18: 「あの儒学は小火であるということはないが正面衝突する」ということは間違っていればその外部機器は気難しくない fact19: その井戸掘り職人は正面衝突する fact20: あの御前自身は不易であるということはなくてそれは易しいということはない fact21: 仮に「「譲位しないし更に等しくない」ということは本当でない」ものがあるならあの質問紙は小火でない fact22: その幼児期は湿気易い fact23: もしもあの質問紙は小火であるということはないなら「その外部機器は力無くないかあるいは返し縫いであるかまたは両方ともだ」ということは成り立つということはない ; $hypothesis$ = その外部機器は気難しい ; $proof$ = 
fact11 & fact3 -> int1: 「あの儒学は譲位しなくて等しくない」ということは成り立たない; int1 -> int2: 「「譲位しなくておまけに等しくない」ということは成り立つということはない」ものはある; int2 & fact21 -> int3: あの質問紙は小火でない; int3 & fact23 -> int4: 「「その外部機器は力無くないかあるいは返し縫いであるか両方である」ということは成り立たない」ということは成り立つ; fact10 -> int5: 「その外部機器は力無くないかあるいは返し縫いであるかあるいはどちらもだ」ということは本当でないとすれば「それは気難しい」ということは成り立つ; int4 & int5 -> hypothesis; __PROVED__
事実1: ある物は小火だということはないし力無くない
事実2: 仮にあるものは力無いとすれば「「小火でないがしかし正面衝突する」ということは成り立つ」ということは成り立たない
事実3: あの儒学は正面衝突する
事実4: 仮に「「何かは返し縫いだけれど忘れ易くない」ということは真実だ」ということは誤りだとすればそれは返し縫いだということはない
事実5: 「「仕切り直すしそれに汚らしくない」ということは間違いである」物はある
事実6: 「「等しいが小火でない」ということは事実でない」ものはある
事実7: もしもなんらかの物は返し縫いでないとすれば「力無くないししかも怖くない」ということは成り立つということはない
事実8: もしもその駝鳥が俗っぽいならばあの市区改正は御美しい
事実9: もし仮に「その短繊維は力無くなくてまた怖くない」ということは誤りだとしたらあの質問紙は力無くない
事実10: もしも「なんらかのものは力無くないかあるいはそれは返し縫いであるかもしくはどちらもである」ということは偽なら気難しい
事実11: もし仮にあの儒学は正面衝突するとすれば「譲位しないしさらにそれは等しくない」ということは偽だ
事実12: 仮にあの質問紙が力無くないならあの儒学は力無い
事実13: もしもあの市区改正が御美しいしかつ賛成し難いとしたらその短繊維は御美しくない
事実14: 「請け出す」ものはある
事実15: もし仮に「不易だということはなくて更に易しくない」ものがあるとすればその駝鳥は俗っぽい
事実16: もし「請け出す」ものがあればその幼児期はケアするしそれにそれはクローム・鍍金だ
事実17: 仮になにかは御美しくないとしたら「返し縫いであるけど忘れ易いということはない」ということは成り立たない
事実18: 「あの儒学は小火であるということはないが正面衝突する」ということは間違っていればその外部機器は気難しくない
事実19: その井戸掘り職人は正面衝突する
事実20: あの御前自身は不易であるということはなくてそれは易しいということはない
事実21: 仮に「「譲位しないし更に等しくない」ということは本当でない」ものがあるならあの質問紙は小火でない
事実22: その幼児期は湿気易い
事実23: もしもあの質問紙は小火であるということはないなら「その外部機器は力無くないかあるいは返し縫いであるかまたは両方ともだ」ということは成り立つということはない

仮説: その外部機器は気難しい
1. 事実11と事実3から、推論1: "「あの儒学は譲位しなくて等しくない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「譲位しなくておまけに等しくない」ということは成り立つということはない」ものはある"が導かれる
3. 推論2と事実21から、推論3: "あの質問紙は小火でない"が導かれる
4. 推論3と事実23から、推論4: "「「その外部機器は力無くないかあるいは返し縫いであるか両方である」ということは成り立たない」ということは成り立つ"が導かれる
5. 事実10から、推論5: "「その外部機器は力無くないかあるいは返し縫いであるかあるいはどちらもだ」ということは本当でないとすれば「それは気難しい」ということは成り立つ"が導かれる
6. 推論4と推論5から、仮説が導かれる

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