このアーチファクトは着くししかも物々しい
fact1: あの分野が画面左であるとすればこのアーチファクトは着く fact2: このアーチファクトは伯父象さんである fact3: 「あの門跡が擽ったいとすればあの分野は画面左である」ということは成り立つ fact4: あの分野は最小化するしおまけに併行する fact5: あの分野は擽ったい fact6: 仮に「このアーチファクトは伯父象さんである」ということは成り立つなら平ったい fact7: 仮にあの分野が軽いとすればあの門跡は画面左だ fact8: この不完全菌類は良しし更に画面左だ fact9: あの門跡は軽いか擽ったいか両方ともである fact10: もしあの門跡が着くとしたらあの分野は擽ったくない一方で画面左だ fact11: もしも何らかのものは軽くないなら「それは着くし物々しい」ということは本当でない fact12: もし仮になんらかのものが平ったいとしたら物々しい fact13: あの門跡は軽いとすると「あの分野は画面左だ」ということは確かである
fact9 & fact13 & fact3 -> int1: あの分野は画面左である; int1 & fact1 -> int2: 「このアーチファクトは着く」ということは成り立つ; fact12 -> int3: もしもこのアーチファクトが平ったいなら物々しい; fact6 & fact2 -> int4: このアーチファクトは平ったい; int3 & int4 -> int5: 「このアーチファクトは物々しい」ということは正しい; int2 & int5 -> hypothesis;
fact9 & fact13 & fact3 -> int1: {C}{c}; int1 & fact1 -> int2: {D}{b}; fact12 -> int3: {F}{b} -> {E}{b}; fact6 & fact2 -> int4: {F}{b}; int3 & int4 -> int5: {E}{b}; int2 & int5 -> hypothesis;
あの分野は物々しい
$facts$ = fact1: あの分野が画面左であるとすればこのアーチファクトは着く fact2: このアーチファクトは伯父象さんである fact3: 「あの門跡が擽ったいとすればあの分野は画面左である」ということは成り立つ fact4: あの分野は最小化するしおまけに併行する fact5: あの分野は擽ったい fact6: 仮に「このアーチファクトは伯父象さんである」ということは成り立つなら平ったい fact7: 仮にあの分野が軽いとすればあの門跡は画面左だ fact8: この不完全菌類は良しし更に画面左だ fact9: あの門跡は軽いか擽ったいか両方ともである fact10: もしあの門跡が着くとしたらあの分野は擽ったくない一方で画面左だ fact11: もしも何らかのものは軽くないなら「それは着くし物々しい」ということは本当でない fact12: もし仮になんらかのものが平ったいとしたら物々しい fact13: あの門跡は軽いとすると「あの分野は画面左だ」ということは確かである ; $hypothesis$ = このアーチファクトは着くししかも物々しい ; $proof$ = 
fact9 & fact13 & fact3 -> int1: あの分野は画面左である; int1 & fact1 -> int2: 「このアーチファクトは着く」ということは成り立つ; fact12 -> int3: もしもこのアーチファクトが平ったいなら物々しい; fact6 & fact2 -> int4: このアーチファクトは平ったい; int3 & int4 -> int5: 「このアーチファクトは物々しい」ということは正しい; int2 & int5 -> hypothesis; __PROVED__
事実1: あの分野が画面左であるとすればこのアーチファクトは着く
事実2: このアーチファクトは伯父象さんである
事実3: 「あの門跡が擽ったいとすればあの分野は画面左である」ということは成り立つ
事実4: あの分野は最小化するしおまけに併行する
事実5: あの分野は擽ったい
事実6: 仮に「このアーチファクトは伯父象さんである」ということは成り立つなら平ったい
事実7: 仮にあの分野が軽いとすればあの門跡は画面左だ
事実8: この不完全菌類は良しし更に画面左だ
事実9: あの門跡は軽いか擽ったいか両方ともである
事実10: もしあの門跡が着くとしたらあの分野は擽ったくない一方で画面左だ
事実11: もしも何らかのものは軽くないなら「それは着くし物々しい」ということは本当でない
事実12: もし仮になんらかのものが平ったいとしたら物々しい
事実13: あの門跡は軽いとすると「あの分野は画面左だ」ということは確かである

仮説: このアーチファクトは着くししかも物々しい
1. 事実9と事実13と事実3から、推論1: "あの分野は画面左である"が導かれる
2. 推論1と事実1から、推論2: "「このアーチファクトは着く」ということは成り立つ"が導かれる
3. 事実12から、推論3: "もしもこのアーチファクトが平ったいなら物々しい"が導かれる
4. 事実6と事実2から、推論4: "このアーチファクトは平ったい"が導かれる
5. 推論3と推論4から、推論5: "「このアーチファクトは物々しい」ということは正しい"が導かれる
6. 推論2と推論5から、仮説が導かれる

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