このセオリーはスポーツプラザスマッシュである
fact1: もしこのセオリーが罹患し易いならばそれはスポーツプラザスマッシュだ fact2: この密集は動き難い fact3: もしもこのセオリーがねちっこいならば罹患し易い fact4: この密集は罹患し易くない一方でＸＭＭＳだ fact5: あのチアミン合成は疾駆しないならば「この密集は罹患し易いしそれにねちっこい」ということは偽だ fact6: 「この密集は宝箱でないがしかし動き難い」ということは成り立つ fact7: その荷解きは罹患し易い fact8: もし仮にこのセオリーは宝箱だとすると「ねちっこい」ということは成り立つ fact9: 「もし仮にこの密集が宝箱でないがしかし動き難いならばあのセオリーはねちっこい」ということは正しい
fact9 & fact6 -> int1: このセオリーはねちっこい; int1 & fact3 -> int2: 「このセオリーは罹患し易い」ということは成り立つ; int2 & fact1 -> hypothesis;
fact9 & fact6 -> int1: {B}{b}; int1 & fact3 -> int2: {A}{b}; int2 & fact1 -> hypothesis;
このセオリーはスポーツプラザスマッシュでない
$facts$ = fact1: もしこのセオリーが罹患し易いならばそれはスポーツプラザスマッシュだ fact2: この密集は動き難い fact3: もしもこのセオリーがねちっこいならば罹患し易い fact4: この密集は罹患し易くない一方でＸＭＭＳだ fact5: あのチアミン合成は疾駆しないならば「この密集は罹患し易いしそれにねちっこい」ということは偽だ fact6: 「この密集は宝箱でないがしかし動き難い」ということは成り立つ fact7: その荷解きは罹患し易い fact8: もし仮にこのセオリーは宝箱だとすると「ねちっこい」ということは成り立つ fact9: 「もし仮にこの密集が宝箱でないがしかし動き難いならばあのセオリーはねちっこい」ということは正しい ; $hypothesis$ = このセオリーはスポーツプラザスマッシュである ; $proof$ = 
fact9 & fact6 -> int1: このセオリーはねちっこい; int1 & fact3 -> int2: 「このセオリーは罹患し易い」ということは成り立つ; int2 & fact1 -> hypothesis; __PROVED__
事実1: もしこのセオリーが罹患し易いならばそれはスポーツプラザスマッシュだ
事実2: この密集は動き難い
事実3: もしもこのセオリーがねちっこいならば罹患し易い
事実4: この密集は罹患し易くない一方でＸＭＭＳだ
事実5: あのチアミン合成は疾駆しないならば「この密集は罹患し易いしそれにねちっこい」ということは偽だ
事実6: 「この密集は宝箱でないがしかし動き難い」ということは成り立つ
事実7: その荷解きは罹患し易い
事実8: もし仮にこのセオリーは宝箱だとすると「ねちっこい」ということは成り立つ
事実9: 「もし仮にこの密集が宝箱でないがしかし動き難いならばあのセオリーはねちっこい」ということは正しい

仮説: このセオリーはスポーツプラザスマッシュである
1. 事実9と事実6から、推論1: "このセオリーはねちっこい"が導かれる
2. 推論1と事実3から、推論2: "「このセオリーは罹患し易い」ということは成り立つ"が導かれる
3. 推論2と事実1から、仮説が導かれる

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