ある物は堪り易くない
fact1: 「仮にこのリバタリアンが顔負けであるとすればこのリバタリアンは思い出深い」ということは真実だ fact2: あの五念は理不尽である fact3: もしあの軽侮が掻い潜るということはないがしかしそれは狙い打つなら「あの五念は御参照下さる」ということは正しい fact4: 何らかの物は堪り易い fact5: もしもこのリバタリアンが理不尽でない一方で顔負けだとすればそれは狙い打つ fact6: もしもこのリバタリアンが狙い打つならばあの軽侮は掻い潜らないけど狙い打つ fact7: あの軽侮は掻い潜るということはない fact8: あの軽侮はインスリン抑制因子だ fact9: もし仮にこのリバタリアンが掻い潜るとしたら顔負けである fact10: もし仮にこのリバタリアンが理不尽であるけれどそれは顔負けでないならば狙い打つ fact11: もしあの軽侮が思い出深いならばあの五念は掻い潜らないがそれは思い出深い fact12: 仮に何らかのものが狙い打つし掻い潜るとしたらそれは顔負けでない fact13: 「苛立たしかない」物はある fact14: もし仮に思い出深いものはインスリン抑制因子であるとしたら堪り易いということはない fact15: もしもあの軽侮が掻い潜るしおまけに狙い打つとするとあの五念は御参照下さる fact16: もしもあの軽侮が掻い潜るとすればそれは顔負けだ fact17: もし仮に「このリバタリアンは御参照下さらないがしかしそれはサーカスだ」ということは成り立つとすると「あの五念は狙い打つ」ということは真実である fact18: もし仮にこのリバタリアンが狙い打つとするとあの軽侮は掻い潜らない fact19: あの五念が御参照下さるとしたらそれはサーカスである fact20: もしも「その電話台は掻い潜る」ということは嘘でないならば「賑々しい」ということは正しい fact21: このリバタリアンは理不尽でないし加えて顔負けでない fact22: あの五念がサーカスならばそれはインスリン抑制因子である fact23: あの五念は思い出深い fact24: もしもこのリバタリアンは理不尽でなくて顔負けでないならそれは狙い打つ fact25: このリバタリアンは堪り易い
fact24 & fact21 -> int1: このリバタリアンは狙い打つ; int1 & fact6 -> int2: あの軽侮は掻い潜らないがしかし狙い打つ; int2 & fact3 -> int3: あの五念は御参照下さる; int3 & fact19 -> int4: 「あの五念はサーカスだ」ということは事実だ; int4 & fact22 -> int5: あの五念はインスリン抑制因子だ; int5 & fact23 -> int6: あの五念は思い出深くてインスリン抑制因子である; fact14 -> int7: もし仮にあの五念は思い出深くてまたインスリン抑制因子であるとするとそれは堪り易くない; int6 & int7 -> int8: あの五念は堪り易くない; int8 -> hypothesis;
$facts$ = fact1: 「仮にこのリバタリアンが顔負けであるとすればこのリバタリアンは思い出深い」ということは真実だ fact2: あの五念は理不尽である fact3: もしあの軽侮が掻い潜るということはないがしかしそれは狙い打つなら「あの五念は御参照下さる」ということは正しい fact4: 何らかの物は堪り易い fact5: もしもこのリバタリアンが理不尽でない一方で顔負けだとすればそれは狙い打つ fact6: もしもこのリバタリアンが狙い打つならばあの軽侮は掻い潜らないけど狙い打つ fact7: あの軽侮は掻い潜るということはない fact8: あの軽侮はインスリン抑制因子だ fact9: もし仮にこのリバタリアンが掻い潜るとしたら顔負けである fact10: もし仮にこのリバタリアンが理不尽であるけれどそれは顔負けでないならば狙い打つ fact11: もしあの軽侮が思い出深いならばあの五念は掻い潜らないがそれは思い出深い fact12: 仮に何らかのものが狙い打つし掻い潜るとしたらそれは顔負けでない fact13: 「苛立たしかない」物はある fact14: もし仮に思い出深いものはインスリン抑制因子であるとしたら堪り易いということはない fact15: もしもあの軽侮が掻い潜るしおまけに狙い打つとするとあの五念は御参照下さる fact16: もしもあの軽侮が掻い潜るとすればそれは顔負けだ fact17: もし仮に「このリバタリアンは御参照下さらないがしかしそれはサーカスだ」ということは成り立つとすると「あの五念は狙い打つ」ということは真実である fact18: もし仮にこのリバタリアンが狙い打つとするとあの軽侮は掻い潜らない fact19: あの五念が御参照下さるとしたらそれはサーカスである fact20: もしも「その電話台は掻い潜る」ということは嘘でないならば「賑々しい」ということは正しい fact21: このリバタリアンは理不尽でないし加えて顔負けでない fact22: あの五念がサーカスならばそれはインスリン抑制因子である fact23: あの五念は思い出深い fact24: もしもこのリバタリアンは理不尽でなくて顔負けでないならそれは狙い打つ fact25: このリバタリアンは堪り易い ; $hypothesis$ = ある物は堪り易くない ; $proof$ = 
fact24 & fact21 -> int1: このリバタリアンは狙い打つ; int1 & fact6 -> int2: あの軽侮は掻い潜らないがしかし狙い打つ; int2 & fact3 -> int3: あの五念は御参照下さる; int3 & fact19 -> int4: 「あの五念はサーカスだ」ということは事実だ; int4 & fact22 -> int5: あの五念はインスリン抑制因子だ; int5 & fact23 -> int6: あの五念は思い出深くてインスリン抑制因子である; fact14 -> int7: もし仮にあの五念は思い出深くてまたインスリン抑制因子であるとするとそれは堪り易くない; int6 & int7 -> int8: あの五念は堪り易くない; int8 -> 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: あの五念は思い出深い
事実24: もしもこのリバタリアンは理不尽でなくて顔負けでないならそれは狙い打つ
事実25: このリバタリアンは堪り易い

仮説: ある物は堪り易くない
1. 事実24と事実21から、推論1: "このリバタリアンは狙い打つ"が導かれる
2. 推論1と事実6から、推論2: "あの軽侮は掻い潜らないがしかし狙い打つ"が導かれる
3. 推論2と事実3から、推論3: "あの五念は御参照下さる"が導かれる
4. 推論3と事実19から、推論4: "「あの五念はサーカスだ」ということは事実だ"が導かれる
5. 推論4と事実22から、推論5: "あの五念はインスリン抑制因子だ"が導かれる
6. 推論5と事実23から、推論6: "あの五念は思い出深くてインスリン抑制因子である"が導かれる
7. 事実14から、推論7: "もし仮にあの五念は思い出深くてまたインスリン抑制因子であるとするとそれは堪り易くない"が導かれる
8. 推論6と推論7から、推論8: "あの五念は堪り易くない"が導かれる
9. 推論8から、仮説が導かれる

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