この金属アルミニウムは個別指導でなくて動かし難くない
fact1: もしあのαワンが自動算出するしそれに通じ易いとすればあの八．一五終戦記念日は岡港でない fact2: もし仮になにかは自動算出するとすると齎し易い fact3: 齎し易いものはある fact4: もしもあの八．一五終戦記念日はコンサートホールであるなら対手だ fact5: もしも何かは齎し易いとしたらあのαワンは自動算出するしかつ通じ易い fact6: もし何らかのものが忌ま忌ましかないならそれは通じ易いしさらにそれは岡港でない fact7: 仮にあるものが自動算出するとすればあのαワンは個別指導だしさらに通じ易い fact8: もし仮にあの八．一五終戦記念日が岡港でないならあのエラーメッセージは岡港でないしまた忌ま忌ましかない fact9: もしなにがしかのものは齎し易いとすれば「個別指導だということはないしそれにそれは動かし難くない」ということは間違いである fact10: もし仮にあのエラーメッセージが忌ま忌ましかないとするとこの感覚様式は個別指導だ fact11: この感覚様式は動かし難い fact12: もしもこの感覚様式が個別指導だとするとこの金属アルミニウムは個別指導でないし動かし難くない fact13: 対手は忌ま忌ましかない fact14: もしあの八．一五終戦記念日が通じ易い一方で岡港でないとしたらあのαワンは自動算出する
fact3 & fact5 -> int1: あのαワンは自動算出するしかつ通じ易い; int1 & fact1 -> int2: あの八．一五終戦記念日は岡港であるということはない; int2 & fact8 -> int3: あのエラーメッセージは岡港でないし忌ま忌ましかない; int3 -> int4: あのエラーメッセージは忌ま忌ましかない; int4 & fact10 -> int5: この感覚様式は個別指導だ; int5 & fact12 -> hypothesis;
「この金属アルミニウムは個別指導でないし動かし難くない」ということは偽だ
fact15 -> int6: この金属アルミニウムは齎し易いなら「個別指導でなくて動かし難いということはない」ということは事実と異なる; fact19 -> int7: 仮にこの金属アルミニウムが自動算出するとするとそれは齎し易い; fact20 -> int8: もしあの八．一五終戦記念日が忌ま忌ましいということはないとすれば通じ易いし加えて岡港でない; fact17 -> int9: もしあの八．一五終戦記念日が対手だとすればそれは忌ま忌ましかない;
$facts$ = fact1: もしあのαワンが自動算出するしそれに通じ易いとすればあの八．一五終戦記念日は岡港でない fact2: もし仮になにかは自動算出するとすると齎し易い fact3: 齎し易いものはある fact4: もしもあの八．一五終戦記念日はコンサートホールであるなら対手だ fact5: もしも何かは齎し易いとしたらあのαワンは自動算出するしかつ通じ易い fact6: もし何らかのものが忌ま忌ましかないならそれは通じ易いしさらにそれは岡港でない fact7: 仮にあるものが自動算出するとすればあのαワンは個別指導だしさらに通じ易い fact8: もし仮にあの八．一五終戦記念日が岡港でないならあのエラーメッセージは岡港でないしまた忌ま忌ましかない fact9: もしなにがしかのものは齎し易いとすれば「個別指導だということはないしそれにそれは動かし難くない」ということは間違いである fact10: もし仮にあのエラーメッセージが忌ま忌ましかないとするとこの感覚様式は個別指導だ fact11: この感覚様式は動かし難い fact12: もしもこの感覚様式が個別指導だとするとこの金属アルミニウムは個別指導でないし動かし難くない fact13: 対手は忌ま忌ましかない fact14: もしあの八．一五終戦記念日が通じ易い一方で岡港でないとしたらあのαワンは自動算出する ; $hypothesis$ = この金属アルミニウムは個別指導でなくて動かし難くない ; $proof$ = 
fact3 & fact5 -> int1: あのαワンは自動算出するしかつ通じ易い; int1 & fact1 -> int2: あの八．一五終戦記念日は岡港であるということはない; int2 & fact8 -> int3: あのエラーメッセージは岡港でないし忌ま忌ましかない; int3 -> int4: あのエラーメッセージは忌ま忌ましかない; int4 & fact10 -> int5: この感覚様式は個別指導だ; int5 & fact12 -> hypothesis; __PROVED__
事実1: もしあのαワンが自動算出するしそれに通じ易いとすればあの八．一五終戦記念日は岡港でない
事実2: もし仮になにかは自動算出するとすると齎し易い
事実3: 齎し易いものはある
事実4: もしもあの八．一五終戦記念日はコンサートホールであるなら対手だ
事実5: もしも何かは齎し易いとしたらあのαワンは自動算出するしかつ通じ易い
事実6: もし何らかのものが忌ま忌ましかないならそれは通じ易いしさらにそれは岡港でない
事実7: 仮にあるものが自動算出するとすればあのαワンは個別指導だしさらに通じ易い
事実8: もし仮にあの八．一五終戦記念日が岡港でないならあのエラーメッセージは岡港でないしまた忌ま忌ましかない
事実9: もしなにがしかのものは齎し易いとすれば「個別指導だということはないしそれにそれは動かし難くない」ということは間違いである
事実10: もし仮にあのエラーメッセージが忌ま忌ましかないとするとこの感覚様式は個別指導だ
事実11: この感覚様式は動かし難い
事実12: もしもこの感覚様式が個別指導だとするとこの金属アルミニウムは個別指導でないし動かし難くない
事実13: 対手は忌ま忌ましかない
事実14: もしあの八．一五終戦記念日が通じ易い一方で岡港でないとしたらあのαワンは自動算出する

仮説: この金属アルミニウムは個別指導でなくて動かし難くない
1. 事実3と事実5から、推論1: "あのαワンは自動算出するしかつ通じ易い"が導かれる
2. 推論1と事実1から、推論2: "あの八．一五終戦記念日は岡港であるということはない"が導かれる
3. 推論2と事実8から、推論3: "あのエラーメッセージは岡港でないし忌ま忌ましかない"が導かれる
4. 推論3から、推論4: "あのエラーメッセージは忌ま忌ましかない"が導かれる
5. 推論4と事実10から、推論5: "この感覚様式は個別指導だ"が導かれる
6. 推論5と事実12から、仮説が導かれる

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