あのヒースは生き辛い
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: もし仮にあの空箱が接近出来ないとしたらこの準創造は接近出来るということはない fact26: もし何らかの物は賄い切れるなら「それが計測出来るしそれにそれは行き易いということはない」ということは誤りである
fact23 & fact11 -> int1: この白煙は計測出来る; int1 & fact10 -> int2: この白煙は賄い切れるが思し召ししない; int2 & fact4 -> int3: あの空箱はアングル操作だ; fact8 -> int4: もしあの空箱はアングル操作であるとすればそれは嵌め込む; int3 & int4 -> int5: 「あの空箱は嵌め込む」ということは成り立つ; int5 & fact22 -> int6: あのヒースは強しということはないがしかし嵌め込む; int6 & fact15 -> hypothesis;
あのヒースは生き辛くない
fact29 -> int7: この準創造は計測出来ないかあるいは賄い切れる; fact27 & int7 -> int8: 「あのヒースは計測出来る」ということは嘘でない;
$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: もし仮にあの空箱が接近出来ないとしたらこの準創造は接近出来るということはない fact26: もし何らかの物は賄い切れるなら「それが計測出来るしそれにそれは行き易いということはない」ということは誤りである ; $hypothesis$ = あのヒースは生き辛い ; $proof$ = 
fact23 & fact11 -> int1: この白煙は計測出来る; int1 & fact10 -> int2: この白煙は賄い切れるが思し召ししない; int2 & fact4 -> int3: あの空箱はアングル操作だ; fact8 -> int4: もしあの空箱はアングル操作であるとすればそれは嵌め込む; int3 & int4 -> int5: 「あの空箱は嵌め込む」ということは成り立つ; int5 & fact22 -> int6: あのヒースは強しということはないがしかし嵌め込む; int6 & fact15 -> 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: もし仮にあの空箱が接近出来ないとしたらこの準創造は接近出来るということはない
事実26: もし何らかの物は賄い切れるなら「それが計測出来るしそれにそれは行き易いということはない」ということは誤りである

仮説: あのヒースは生き辛い
1. 事実23と事実11から、推論1: "この白煙は計測出来る"が導かれる
2. 推論1と事実10から、推論2: "この白煙は賄い切れるが思し召ししない"が導かれる
3. 推論2と事実4から、推論3: "あの空箱はアングル操作だ"が導かれる
4. 事実8から、推論4: "もしあの空箱はアングル操作であるとすればそれは嵌め込む"が導かれる
5. 推論3と推論4から、推論5: "「あの空箱は嵌め込む」ということは成り立つ"が導かれる
6. 推論5と事実22から、推論6: "あのヒースは強しということはないがしかし嵌め込む"が導かれる
7. 推論6と事実15から、仮説が導かれる

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