そのＦＷは小売り価格である
fact1: もしも「このエンプロイメントは気持ち良さだ」ということは正しいとすればそのＦＷは小売り価格である fact2: もし仮にこの新曲が有り難くないならばあのエンプロイメントは有り難いかもしくは気持ち良さであるか両方だ fact3: もしあの樹冠が怒りっぽくないとしたらそのＦＷは怒りっぽい fact4: もしもそのＦＷが小売り価格だししかも有り難いとするとこの新曲は嘆かわしくない fact5: あるものが気持ち良さであるかあるいはそれは有り難くないかあるいは両方だとしたらそれは有り難くない fact6: 顕在化し易くない物が嘆かわしくないならばそれは小売り価格でない fact7: 「このエンプロイメントは有り難い」ということは成り立つとしたらそのＦＷは小売り価格だ fact8: あの樹冠は嘆かわしい fact9: 木目細かいものは気持ち良さであるかあるいは有り難くない fact10: もしもあの樹冠が顕在化し易くて加えて嘆かわしいとすればこの新曲は有り難くない fact11: あの樹冠は顕在化し易い fact12: 仮にあの樹冠が有り難くないとしたらそのＦＷは顕在化し易くないしまた嘆かわしくない fact13: 「住み難くない物は木目細かくてこそばゆい」ということは本当だ
fact11 & fact8 -> int1: あの樹冠は顕在化し易いしまた嘆かわしい; int1 & fact10 -> int2: この新曲は有り難いということはない; int2 & fact2 -> int3: このエンプロイメントは有り難いかあるいは気持ち良さであるかあるいはどちらもだ; int3 & fact7 & fact1 -> hypothesis;
そのＦＷは小売り価格でない
fact18 -> int4: 仮に「そのＦＷは顕在化し易くないしその上嘆かわしくない」ということは成り立てば小売り価格でない; fact15 -> int5: もし仮にあの樹冠は気持ち良さであるか有り難くないかどちらもだとしたら有り難くない; fact16 -> int6: もし「あの樹冠は木目細かい」ということは正しいならそれは気持ち良さであるかあるいは有り難くないかあるいは両方である; fact14 -> int7: もしあの樹冠が住み難くないとしたら木目細かいしそれはこそばゆい;
$facts$ = fact1: もしも「このエンプロイメントは気持ち良さだ」ということは正しいとすればそのＦＷは小売り価格である fact2: もし仮にこの新曲が有り難くないならばあのエンプロイメントは有り難いかもしくは気持ち良さであるか両方だ fact3: もしあの樹冠が怒りっぽくないとしたらそのＦＷは怒りっぽい fact4: もしもそのＦＷが小売り価格だししかも有り難いとするとこの新曲は嘆かわしくない fact5: あるものが気持ち良さであるかあるいはそれは有り難くないかあるいは両方だとしたらそれは有り難くない fact6: 顕在化し易くない物が嘆かわしくないならばそれは小売り価格でない fact7: 「このエンプロイメントは有り難い」ということは成り立つとしたらそのＦＷは小売り価格だ fact8: あの樹冠は嘆かわしい fact9: 木目細かいものは気持ち良さであるかあるいは有り難くない fact10: もしもあの樹冠が顕在化し易くて加えて嘆かわしいとすればこの新曲は有り難くない fact11: あの樹冠は顕在化し易い fact12: 仮にあの樹冠が有り難くないとしたらそのＦＷは顕在化し易くないしまた嘆かわしくない fact13: 「住み難くない物は木目細かくてこそばゆい」ということは本当だ ; $hypothesis$ = そのＦＷは小売り価格である ; $proof$ = 
fact11 & fact8 -> int1: あの樹冠は顕在化し易いしまた嘆かわしい; int1 & fact10 -> int2: この新曲は有り難いということはない; int2 & fact2 -> int3: このエンプロイメントは有り難いかあるいは気持ち良さであるかあるいはどちらもだ; int3 & fact7 & fact1 -> hypothesis; __PROVED__
事実1: もしも「このエンプロイメントは気持ち良さだ」ということは正しいとすればそのＦＷは小売り価格である
事実2: もし仮にこの新曲が有り難くないならばあのエンプロイメントは有り難いかもしくは気持ち良さであるか両方だ
事実3: もしあの樹冠が怒りっぽくないとしたらそのＦＷは怒りっぽい
事実4: もしもそのＦＷが小売り価格だししかも有り難いとするとこの新曲は嘆かわしくない
事実5: あるものが気持ち良さであるかあるいはそれは有り難くないかあるいは両方だとしたらそれは有り難くない
事実6: 顕在化し易くない物が嘆かわしくないならばそれは小売り価格でない
事実7: 「このエンプロイメントは有り難い」ということは成り立つとしたらそのＦＷは小売り価格だ
事実8: あの樹冠は嘆かわしい
事実9: 木目細かいものは気持ち良さであるかあるいは有り難くない
事実10: もしもあの樹冠が顕在化し易くて加えて嘆かわしいとすればこの新曲は有り難くない
事実11: あの樹冠は顕在化し易い
事実12: 仮にあの樹冠が有り難くないとしたらそのＦＷは顕在化し易くないしまた嘆かわしくない
事実13: 「住み難くない物は木目細かくてこそばゆい」ということは本当だ

仮説: そのＦＷは小売り価格である
1. 事実11と事実8から、推論1: "あの樹冠は顕在化し易いしまた嘆かわしい"が導かれる
2. 推論1と事実10から、推論2: "この新曲は有り難いということはない"が導かれる
3. 推論2と事実2から、推論3: "このエンプロイメントは有り難いかあるいは気持ち良さであるかあるいはどちらもだ"が導かれる
4. 推論3と事実7と事実1から、仮説が導かれる

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