この固有名はヘッドホンでない
fact1: もし仮にあの基礎資料が灰色っぽいとすればこの固有名はスター・ウォーズだということはないししかもヘッドホンだということはない fact2: あの基礎資料が導入するということはないしその上それはスター・ウォーズでない fact3: もし仮に「なにかは灰色っぽくないしそれはヘッドホンでない」ということは誤っているとしたらそれはヘッドホンである fact4: もし何かは行為するとすると着易いということはない fact5: 仮にある物が着易いということはないとしたらそれは着するし加えて入館する fact6: もし仮に「あのコールマン大佐は行為する」ということは本当だとしたらあの基礎資料は行為する fact7: もし仮にあのコールマン大佐が仕官しないなら脂っこくて加えて行為する fact8: あの基礎資料は灰色っぽい fact9: もしもあの基礎資料が着するし入館するとしたらこの固有名は灰色っぽいということはない fact10: この固有名はスター・ウォーズでない fact11: もしも「あの基礎資料は灰色っぽい」ということは成り立てばこの固有名はスター・ウォーズでない
fact1 & fact8 -> int1: この固有名はスター・ウォーズでないしヘッドホンでない; int1 -> hypothesis;
この固有名はヘッドホンである
fact12 -> int2: もしも「この固有名は灰色っぽくないし更にそれはヘッドホンでない」ということは偽だとしたらそれはヘッドホンである;
$facts$ = fact1: もし仮にあの基礎資料が灰色っぽいとすればこの固有名はスター・ウォーズだということはないししかもヘッドホンだということはない fact2: あの基礎資料が導入するということはないしその上それはスター・ウォーズでない fact3: もし仮に「なにかは灰色っぽくないしそれはヘッドホンでない」ということは誤っているとしたらそれはヘッドホンである fact4: もし何かは行為するとすると着易いということはない fact5: 仮にある物が着易いということはないとしたらそれは着するし加えて入館する fact6: もし仮に「あのコールマン大佐は行為する」ということは本当だとしたらあの基礎資料は行為する fact7: もし仮にあのコールマン大佐が仕官しないなら脂っこくて加えて行為する fact8: あの基礎資料は灰色っぽい fact9: もしもあの基礎資料が着するし入館するとしたらこの固有名は灰色っぽいということはない fact10: この固有名はスター・ウォーズでない fact11: もしも「あの基礎資料は灰色っぽい」ということは成り立てばこの固有名はスター・ウォーズでない ; $hypothesis$ = この固有名はヘッドホンでない ; $proof$ = 
fact1 & fact8 -> int1: この固有名はスター・ウォーズでないしヘッドホンでない; int1 -> hypothesis; __PROVED__
事実1: もし仮にあの基礎資料が灰色っぽいとすればこの固有名はスター・ウォーズだということはないししかもヘッドホンだということはない
事実2: あの基礎資料が導入するということはないしその上それはスター・ウォーズでない
事実3: もし仮に「なにかは灰色っぽくないしそれはヘッドホンでない」ということは誤っているとしたらそれはヘッドホンである
事実4: もし何かは行為するとすると着易いということはない
事実5: 仮にある物が着易いということはないとしたらそれは着するし加えて入館する
事実6: もし仮に「あのコールマン大佐は行為する」ということは本当だとしたらあの基礎資料は行為する
事実7: もし仮にあのコールマン大佐が仕官しないなら脂っこくて加えて行為する
事実8: あの基礎資料は灰色っぽい
事実9: もしもあの基礎資料が着するし入館するとしたらこの固有名は灰色っぽいということはない
事実10: この固有名はスター・ウォーズでない
事実11: もしも「あの基礎資料は灰色っぽい」ということは成り立てばこの固有名はスター・ウォーズでない

仮説: この固有名はヘッドホンでない
1. 事実1と事実8から、推論1: "この固有名はスター・ウォーズでないしヘッドホンでない"が導かれる
2. 推論1から、仮説が導かれる

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