あの症例数は得難い
fact1: もし「あの症例数は素人っぽくないししかも丹精でない」ということは間違っているとすると探し易い fact2: あのアダルトチルドレンは素人っぽい fact3: 小腹は得難い fact4: もしあの症例数は小腹であるとするとそれは得難い fact5: 「「あのアダルトチルドレンは江戸滞在中でないし素人っぽくない」ということは成り立つ」ということは間違っているとすると「それは得難い」ということは確かである fact6: もし仮に「何かは小腹でなくて更に江戸滞在中でない」ということは間違っているなら得難い fact7: もしあのアダルトチルドレンは素人っぽいとしたら「あの症例数は小腹であるけど江戸滞在中でない」ということは嘘だ fact8: 「あの症例数は小腹であるけど江戸滞在中でない」ということは嘘だ fact9: もし仮に「なにかは巡礼でない一方で素人っぽい」ということは間違いならそれは得難くない fact10: もし仮にあのアダルトチルドレンは素人っぽいならば「あの症例数は小腹でなくて更に江戸滞在中でない」ということは成り立たない
fact6 -> int1: もし「あの症例数は小腹でないし江戸滞在中でない」ということは成り立たないとすると得難い; fact2 & fact10 -> int2: 「あの症例数は小腹であるということはなくて更に江戸滞在中でない」ということは間違いである; int1 & int2 -> hypothesis;
あの症例数は得難くない
fact11 -> int3: もしも「あの症例数は巡礼だないけれど素人っぽい」ということは成り立つということはないとしたら得難くない;
$facts$ = fact1: もし「あの症例数は素人っぽくないししかも丹精でない」ということは間違っているとすると探し易い fact2: あのアダルトチルドレンは素人っぽい fact3: 小腹は得難い fact4: もしあの症例数は小腹であるとするとそれは得難い fact5: 「「あのアダルトチルドレンは江戸滞在中でないし素人っぽくない」ということは成り立つ」ということは間違っているとすると「それは得難い」ということは確かである fact6: もし仮に「何かは小腹でなくて更に江戸滞在中でない」ということは間違っているなら得難い fact7: もしあのアダルトチルドレンは素人っぽいとしたら「あの症例数は小腹であるけど江戸滞在中でない」ということは嘘だ fact8: 「あの症例数は小腹であるけど江戸滞在中でない」ということは嘘だ fact9: もし仮に「なにかは巡礼でない一方で素人っぽい」ということは間違いならそれは得難くない fact10: もし仮にあのアダルトチルドレンは素人っぽいならば「あの症例数は小腹でなくて更に江戸滞在中でない」ということは成り立たない ; $hypothesis$ = あの症例数は得難い ; $proof$ = 
fact6 -> int1: もし「あの症例数は小腹でないし江戸滞在中でない」ということは成り立たないとすると得難い; fact2 & fact10 -> int2: 「あの症例数は小腹であるということはなくて更に江戸滞在中でない」ということは間違いである; int1 & int2 -> hypothesis; __PROVED__
事実1: もし「あの症例数は素人っぽくないししかも丹精でない」ということは間違っているとすると探し易い
事実2: あのアダルトチルドレンは素人っぽい
事実3: 小腹は得難い
事実4: もしあの症例数は小腹であるとするとそれは得難い
事実5: 「「あのアダルトチルドレンは江戸滞在中でないし素人っぽくない」ということは成り立つ」ということは間違っているとすると「それは得難い」ということは確かである
事実6: もし仮に「何かは小腹でなくて更に江戸滞在中でない」ということは間違っているなら得難い
事実7: もしあのアダルトチルドレンは素人っぽいとしたら「あの症例数は小腹であるけど江戸滞在中でない」ということは嘘だ
事実8: 「あの症例数は小腹であるけど江戸滞在中でない」ということは嘘だ
事実9: もし仮に「なにかは巡礼でない一方で素人っぽい」ということは間違いならそれは得難くない
事実10: もし仮にあのアダルトチルドレンは素人っぽいならば「あの症例数は小腹でなくて更に江戸滞在中でない」ということは成り立たない

仮説: あの症例数は得難い
1. 事実6から、推論1: "もし「あの症例数は小腹でないし江戸滞在中でない」ということは成り立たないとすると得難い"が導かれる
2. 事実2と事実10から、推論2: "「あの症例数は小腹であるということはなくて更に江戸滞在中でない」ということは間違いである"が導かれる
3. 推論1と推論2から、仮説が導かれる

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