「その潜在的能力は事業所内である」ということは確かだ
fact1: もし「あの岡豊城は広くなくておまけに担わない」ということは成り立たないならば相携えない fact2: 「「費用計上しないし加えて入夫だということはない」ということは成り立たない」ものはある fact3: 仮にあの岡豊城が事業所内であるならばその潜在的能力は相携える fact4: 仮に「「費用計上しなくてしかも入夫だということはない」ということは成り立たない」ものがあるとすればあの仕事力は興奮し易いということはない fact5: あの仕事力は費用計上するということはないかあるいはそれは興奮し易いということはないか両方である fact6: とあるものが相携えないならフォース・ストリートである fact7: もし仮にあの仕事力が興奮し易くないならあの岡豊城は果てし無くて加えてそれは走り易い fact8: もし仮にあの仕事力は費用計上しないとすれば「その潜在的能力は走り易くない」ということは本当である fact9: あの岡豊城がフォース・ストリートだとしたらその潜在的能力は事業所内だ fact10: 「あの岡豊城は広くないしそれに担わない」ということは成り立たない
fact1 & fact10 -> int1: 「あの岡豊城は相携えない」ということは成り立つ; fact6 -> int2: 仮にあの岡豊城が相携えないとしたらフォース・ストリートである; int1 & int2 -> int3: あの岡豊城はフォース・ストリートだ; int3 & fact9 -> hypothesis;
この聴取者は相携える
$facts$ = fact1: もし「あの岡豊城は広くなくておまけに担わない」ということは成り立たないならば相携えない fact2: 「「費用計上しないし加えて入夫だということはない」ということは成り立たない」ものはある fact3: 仮にあの岡豊城が事業所内であるならばその潜在的能力は相携える fact4: 仮に「「費用計上しなくてしかも入夫だということはない」ということは成り立たない」ものがあるとすればあの仕事力は興奮し易いということはない fact5: あの仕事力は費用計上するということはないかあるいはそれは興奮し易いということはないか両方である fact6: とあるものが相携えないならフォース・ストリートである fact7: もし仮にあの仕事力が興奮し易くないならあの岡豊城は果てし無くて加えてそれは走り易い fact8: もし仮にあの仕事力は費用計上しないとすれば「その潜在的能力は走り易くない」ということは本当である fact9: あの岡豊城がフォース・ストリートだとしたらその潜在的能力は事業所内だ fact10: 「あの岡豊城は広くないしそれに担わない」ということは成り立たない ; $hypothesis$ = 「その潜在的能力は事業所内である」ということは確かだ ; $proof$ = 
fact1 & fact10 -> int1: 「あの岡豊城は相携えない」ということは成り立つ; fact6 -> int2: 仮にあの岡豊城が相携えないとしたらフォース・ストリートである; int1 & int2 -> int3: あの岡豊城はフォース・ストリートだ; int3 & fact9 -> hypothesis; __PROVED__
事実1: もし「あの岡豊城は広くなくておまけに担わない」ということは成り立たないならば相携えない
事実2: 「「費用計上しないし加えて入夫だということはない」ということは成り立たない」ものはある
事実3: 仮にあの岡豊城が事業所内であるならばその潜在的能力は相携える
事実4: 仮に「「費用計上しなくてしかも入夫だということはない」ということは成り立たない」ものがあるとすればあの仕事力は興奮し易いということはない
事実5: あの仕事力は費用計上するということはないかあるいはそれは興奮し易いということはないか両方である
事実6: とあるものが相携えないならフォース・ストリートである
事実7: もし仮にあの仕事力が興奮し易くないならあの岡豊城は果てし無くて加えてそれは走り易い
事実8: もし仮にあの仕事力は費用計上しないとすれば「その潜在的能力は走り易くない」ということは本当である
事実9: あの岡豊城がフォース・ストリートだとしたらその潜在的能力は事業所内だ
事実10: 「あの岡豊城は広くないしそれに担わない」ということは成り立たない

仮説: 「その潜在的能力は事業所内である」ということは確かだ
1. 事実1と事実10から、推論1: "「あの岡豊城は相携えない」ということは成り立つ"が導かれる
2. 事実6から、推論2: "仮にあの岡豊城が相携えないとしたらフォース・ストリートである"が導かれる
3. 推論1と推論2から、推論3: "あの岡豊城はフォース・ストリートだ"が導かれる
4. 推論3と事実9から、仮説が導かれる

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