その森林浴実験は流され易くないが肥厚する
fact1: 「その書き込みエラーは許容するがそれは図太くない」ということは事実と異なるとするとその森林浴実験は流され易くない fact2: もし仮にその書き込みエラーは難航すれば「それは許容するし図太い」ということは成り立たない fact3: なんらかのものが訳すがしかし残り火でないならばその書き込みエラーは雇い入れる fact4: そのアマは壊死するけど聞き届けない fact5: そのアマが壊死するがしかし聞き届けないとすればそれは嬉しい fact6: 何もかもは訳すし残り火でない fact7: そのアマは壊死する fact8: もしも何らかの物が雇い入れるとすればそれは難航する fact9: もしなにかは訳さないとするときつい一方で怪しくない fact10: あらゆる物は訳す fact11: その書き込みエラーが図太いとしたらその森林浴実験は流され易くない fact12: あるものは難航すれば「それは許容するし図太くない」ということは事実と異なる fact13: あのオプション一覧は訳す fact14: 「その書き込みエラーは許容するしさらに図太い」ということは間違いだ fact15: もしも「そのアマは嬉しい」ということは事実と異ならないならその森林浴実験は肥厚する
fact6 -> int1: あのオプション一覧は訳すがしかしそれは残り火であるということはない; int1 -> int2: 「訳す一方で残り火であるということはない」物はある; int2 & fact3 -> int3: その書き込みエラーは雇い入れる; fact8 -> int4: 仮にその書き込みエラーが雇い入れればそれは難航する; int3 & int4 -> int5: その書き込みエラーは難航する; fact12 -> int6: もし仮にその書き込みエラーは難航するなら「許容するしその上それは図太くない」ということは本当でない; int5 & int6 -> int7: 「その書き込みエラーは許容する一方で図太いということはない」ということは嘘だ; int7 & fact1 -> int8: 「その森林浴実験は流され易くない」ということは本当だ; fact4 & fact5 -> int9: 「そのアマは嬉しい」ということは正しい; fact15 & int9 -> int10: その森林浴実験は肥厚する; int8 & int10 -> hypothesis;
「全てはきつい一方で怪しくない」ということは確かである
fact16 -> int11: 「もしも「その書き込みエラーは訳さない」ということは成り立つとすればその書き込みエラーはきついがしかし怪しくない」ということは成り立つ;
$facts$ = fact1: 「その書き込みエラーは許容するがそれは図太くない」ということは事実と異なるとするとその森林浴実験は流され易くない fact2: もし仮にその書き込みエラーは難航すれば「それは許容するし図太い」ということは成り立たない fact3: なんらかのものが訳すがしかし残り火でないならばその書き込みエラーは雇い入れる fact4: そのアマは壊死するけど聞き届けない fact5: そのアマが壊死するがしかし聞き届けないとすればそれは嬉しい fact6: 何もかもは訳すし残り火でない fact7: そのアマは壊死する fact8: もしも何らかの物が雇い入れるとすればそれは難航する fact9: もしなにかは訳さないとするときつい一方で怪しくない fact10: あらゆる物は訳す fact11: その書き込みエラーが図太いとしたらその森林浴実験は流され易くない fact12: あるものは難航すれば「それは許容するし図太くない」ということは事実と異なる fact13: あのオプション一覧は訳す fact14: 「その書き込みエラーは許容するしさらに図太い」ということは間違いだ fact15: もしも「そのアマは嬉しい」ということは事実と異ならないならその森林浴実験は肥厚する ; $hypothesis$ = その森林浴実験は流され易くないが肥厚する ; $proof$ = 
fact6 -> int1: あのオプション一覧は訳すがしかしそれは残り火であるということはない; int1 -> int2: 「訳す一方で残り火であるということはない」物はある; int2 & fact3 -> int3: その書き込みエラーは雇い入れる; fact8 -> int4: 仮にその書き込みエラーが雇い入れればそれは難航する; int3 & int4 -> int5: その書き込みエラーは難航する; fact12 -> int6: もし仮にその書き込みエラーは難航するなら「許容するしその上それは図太くない」ということは本当でない; int5 & int6 -> int7: 「その書き込みエラーは許容する一方で図太いということはない」ということは嘘だ; int7 & fact1 -> int8: 「その森林浴実験は流され易くない」ということは本当だ; fact4 & fact5 -> int9: 「そのアマは嬉しい」ということは正しい; fact15 & int9 -> int10: その森林浴実験は肥厚する; int8 & int10 -> hypothesis; __PROVED__
事実1: 「その書き込みエラーは許容するがそれは図太くない」ということは事実と異なるとするとその森林浴実験は流され易くない
事実2: もし仮にその書き込みエラーは難航すれば「それは許容するし図太い」ということは成り立たない
事実3: なんらかのものが訳すがしかし残り火でないならばその書き込みエラーは雇い入れる
事実4: そのアマは壊死するけど聞き届けない
事実5: そのアマが壊死するがしかし聞き届けないとすればそれは嬉しい
事実6: 何もかもは訳すし残り火でない
事実7: そのアマは壊死する
事実8: もしも何らかの物が雇い入れるとすればそれは難航する
事実9: もしなにかは訳さないとするときつい一方で怪しくない
事実10: あらゆる物は訳す
事実11: その書き込みエラーが図太いとしたらその森林浴実験は流され易くない
事実12: あるものは難航すれば「それは許容するし図太くない」ということは事実と異なる
事実13: あのオプション一覧は訳す
事実14: 「その書き込みエラーは許容するしさらに図太い」ということは間違いだ
事実15: もしも「そのアマは嬉しい」ということは事実と異ならないならその森林浴実験は肥厚する

仮説: その森林浴実験は流され易くないが肥厚する
1. 事実6から、推論1: "あのオプション一覧は訳すがしかしそれは残り火であるということはない"が導かれる
2. 推論1から、推論2: "「訳す一方で残り火であるということはない」物はある"が導かれる
3. 推論2と事実3から、推論3: "その書き込みエラーは雇い入れる"が導かれる
4. 事実8から、推論4: "仮にその書き込みエラーが雇い入れればそれは難航する"が導かれる
5. 推論3と推論4から、推論5: "その書き込みエラーは難航する"が導かれる
6. 事実12から、推論6: "もし仮にその書き込みエラーは難航するなら「許容するしその上それは図太くない」ということは本当でない"が導かれる
7. 推論5と推論6から、推論7: "「その書き込みエラーは許容する一方で図太いということはない」ということは嘘だ"が導かれる
8. 推論7と事実1から、推論8: "「その森林浴実験は流され易くない」ということは本当だ"が導かれる
9. 事実4と事実5から、推論9: "「そのアマは嬉しい」ということは正しい"が導かれる
10. 事実15と推論9から、推論10: "その森林浴実験は肥厚する"が導かれる
11. 推論8と推論10から、仮説が導かれる

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