この貴金属店は出土土器だということはないか加工場であるかもしくはどちらもである
fact1: 仮に「心細い」ものがあるとすればこの地方財源は考え方・感じ方でないかまたはそれは悍ましかない fact2: 「あのシンバルは要所要所であるかそれは考え方・感じ方だ」ということは成り立たない fact3: もしも「何かは要所要所だけれど加工場でない」ということは偽であるなら加工場である fact4: この整備事業計画が加工場だとすればこの鹿尾菜は眠くない fact5: あのブロックバスターは心細い fact6: この整備事業計画は考え方・感じ方であるということはないとしたら「それは要所要所だがしかし加工場でない」ということは正しいということはない fact7: もし「「あのシンバルは要所要所であるか考え方・感じ方であるかもしくは両方である」ということは真実である」ということは成り立たないとすればこの貴金属店は眠くない fact8: 眠くない物は経済競争でかつちぎれ易い fact9: もし仮に経済競争がちぎれ易いとすると出土土器でない
fact8 -> int1: この貴金属店が眠くないなら経済競争でしかもちぎれ易い; fact2 & fact7 -> int2: この貴金属店は眠くない; int1 & int2 -> int3: この貴金属店は経済競争であるしその上それはちぎれ易い; fact9 -> int4: この貴金属店が経済競争であるし加えてちぎれ易いとすればそれは出土土器でない; int3 & int4 -> int5: この貴金属店は出土土器でない; int5 -> hypothesis;
あのシンバルは第一冊でないかあるいは出土土器であるかあるいは両方ともである
fact13 -> int6: もし「この整備事業計画は要所要所だけれどそれは加工場でない」ということは真実でないとすると加工場だ; fact14 -> int7: 何らかのものは心細い; int7 & fact11 -> int8: この地方財源は考え方・感じ方でないか悍ましくないか両方だ; int8 -> int9: とあるものは考え方・感じ方でないかあるいはそれは悍ましくないかもしくはどちらもだ;
$facts$ = fact1: 仮に「心細い」ものがあるとすればこの地方財源は考え方・感じ方でないかまたはそれは悍ましかない fact2: 「あのシンバルは要所要所であるかそれは考え方・感じ方だ」ということは成り立たない fact3: もしも「何かは要所要所だけれど加工場でない」ということは偽であるなら加工場である fact4: この整備事業計画が加工場だとすればこの鹿尾菜は眠くない fact5: あのブロックバスターは心細い fact6: この整備事業計画は考え方・感じ方であるということはないとしたら「それは要所要所だがしかし加工場でない」ということは正しいということはない fact7: もし「「あのシンバルは要所要所であるか考え方・感じ方であるかもしくは両方である」ということは真実である」ということは成り立たないとすればこの貴金属店は眠くない fact8: 眠くない物は経済競争でかつちぎれ易い fact9: もし仮に経済競争がちぎれ易いとすると出土土器でない ; $hypothesis$ = この貴金属店は出土土器だということはないか加工場であるかもしくはどちらもである ; $proof$ = 
fact8 -> int1: この貴金属店が眠くないなら経済競争でしかもちぎれ易い; fact2 & fact7 -> int2: この貴金属店は眠くない; int1 & int2 -> int3: この貴金属店は経済競争であるしその上それはちぎれ易い; fact9 -> int4: この貴金属店が経済競争であるし加えてちぎれ易いとすればそれは出土土器でない; int3 & int4 -> int5: この貴金属店は出土土器でない; int5 -> hypothesis; __PROVED__
事実1: 仮に「心細い」ものがあるとすればこの地方財源は考え方・感じ方でないかまたはそれは悍ましかない
事実2: 「あのシンバルは要所要所であるかそれは考え方・感じ方だ」ということは成り立たない
事実3: もしも「何かは要所要所だけれど加工場でない」ということは偽であるなら加工場である
事実4: この整備事業計画が加工場だとすればこの鹿尾菜は眠くない
事実5: あのブロックバスターは心細い
事実6: この整備事業計画は考え方・感じ方であるということはないとしたら「それは要所要所だがしかし加工場でない」ということは正しいということはない
事実7: もし「「あのシンバルは要所要所であるか考え方・感じ方であるかもしくは両方である」ということは真実である」ということは成り立たないとすればこの貴金属店は眠くない
事実8: 眠くない物は経済競争でかつちぎれ易い
事実9: もし仮に経済競争がちぎれ易いとすると出土土器でない

仮説: この貴金属店は出土土器だということはないか加工場であるかもしくはどちらもである
1. 事実8から、推論1: "この貴金属店が眠くないなら経済競争でしかもちぎれ易い"が導かれる
2. 事実2と事実7から、推論2: "この貴金属店は眠くない"が導かれる
3. 推論1と推論2から、推論3: "この貴金属店は経済競争であるしその上それはちぎれ易い"が導かれる
4. 事実9から、推論4: "この貴金属店が経済競争であるし加えてちぎれ易いとすればそれは出土土器でない"が導かれる
5. 推論3と推論4から、推論5: "この貴金属店は出土土器でない"が導かれる
6. 推論5から、仮説が導かれる

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