このテーブルセッティングは設計・開発でない
fact1: あの思わせ振りは疎ましいしかつ気味悪がる fact2: このテーブルセッティングは割れ易いし思い為さる fact3: 冬らしいということはない物は設計・開発でない fact4: あの思わせ振りが抱き留めないとすればあの射撃場は冬らしくない fact5: あの思わせ振りは疎ましい fact6: もし仮にその射撃場は冬らしいということはないならば「このテーブルセッティングは校正刷りであるしその上冬らしい」ということは誤っている fact7: もしも「何らかのものは校正刷りで加えて冬らしい」ということは成り立たないならば設計・開発でない fact8: もし仮にこのテーブルセッティングは冬らしくないならば「設計・開発でない」ということは事実だ fact9: 割れ易い物は抱き留めるということはない fact10: 何かは割れ易いかあるいは気味悪がるかあるいは両方ともであるとすると抱き留めない
fact1 -> int1: 「あの思わせ振りは気味悪がらない」ということは誤っている; int1 -> int2: あの思わせ振りは割れ易いかまたは気味悪がる; fact10 -> int3: あの思わせ振りが割れ易いかそれは気味悪がるかもしくは両方ともだとするとそれは抱き留めるということはない; int2 & int3 -> int4: あの思わせ振りは抱き留めるということはない; int4 & fact4 -> int5: その射撃場は冬らしいということはない; int5 & fact6 -> int6: 「このテーブルセッティングは校正刷りだしかつ冬らしい」ということは間違いだ; fact7 -> int7: もし仮に「このテーブルセッティングは校正刷りであるし更にそれは冬らしい」ということは事実と異なれば「設計・開発でない」ということは成り立つ; int6 & int7 -> hypothesis;
$facts$ = fact1: あの思わせ振りは疎ましいしかつ気味悪がる fact2: このテーブルセッティングは割れ易いし思い為さる fact3: 冬らしいということはない物は設計・開発でない fact4: あの思わせ振りが抱き留めないとすればあの射撃場は冬らしくない fact5: あの思わせ振りは疎ましい fact6: もし仮にその射撃場は冬らしいということはないならば「このテーブルセッティングは校正刷りであるしその上冬らしい」ということは誤っている fact7: もしも「何らかのものは校正刷りで加えて冬らしい」ということは成り立たないならば設計・開発でない fact8: もし仮にこのテーブルセッティングは冬らしくないならば「設計・開発でない」ということは事実だ fact9: 割れ易い物は抱き留めるということはない fact10: 何かは割れ易いかあるいは気味悪がるかあるいは両方ともであるとすると抱き留めない ; $hypothesis$ = このテーブルセッティングは設計・開発でない ; $proof$ = 
fact1 -> int1: 「あの思わせ振りは気味悪がらない」ということは誤っている; int1 -> int2: あの思わせ振りは割れ易いかまたは気味悪がる; fact10 -> int3: あの思わせ振りが割れ易いかそれは気味悪がるかもしくは両方ともだとするとそれは抱き留めるということはない; int2 & int3 -> int4: あの思わせ振りは抱き留めるということはない; int4 & fact4 -> int5: その射撃場は冬らしいということはない; int5 & fact6 -> int6: 「このテーブルセッティングは校正刷りだしかつ冬らしい」ということは間違いだ; fact7 -> int7: もし仮に「このテーブルセッティングは校正刷りであるし更にそれは冬らしい」ということは事実と異なれば「設計・開発でない」ということは成り立つ; int6 & int7 -> hypothesis; __PROVED__
事実1: あの思わせ振りは疎ましいしかつ気味悪がる
事実2: このテーブルセッティングは割れ易いし思い為さる
事実3: 冬らしいということはない物は設計・開発でない
事実4: あの思わせ振りが抱き留めないとすればあの射撃場は冬らしくない
事実5: あの思わせ振りは疎ましい
事実6: もし仮にその射撃場は冬らしいということはないならば「このテーブルセッティングは校正刷りであるしその上冬らしい」ということは誤っている
事実7: もしも「何らかのものは校正刷りで加えて冬らしい」ということは成り立たないならば設計・開発でない
事実8: もし仮にこのテーブルセッティングは冬らしくないならば「設計・開発でない」ということは事実だ
事実9: 割れ易い物は抱き留めるということはない
事実10: 何かは割れ易いかあるいは気味悪がるかあるいは両方ともであるとすると抱き留めない

仮説: このテーブルセッティングは設計・開発でない
1. 事実1から、推論1: "「あの思わせ振りは気味悪がらない」ということは誤っている"が導かれる
2. 推論1から、推論2: "あの思わせ振りは割れ易いかまたは気味悪がる"が導かれる
3. 事実10から、推論3: "あの思わせ振りが割れ易いかそれは気味悪がるかもしくは両方ともだとするとそれは抱き留めるということはない"が導かれる
4. 推論2と推論3から、推論4: "あの思わせ振りは抱き留めるということはない"が導かれる
5. 推論4と事実4から、推論5: "その射撃場は冬らしいということはない"が導かれる
6. 推論5と事実6から、推論6: "「このテーブルセッティングは校正刷りだしかつ冬らしい」ということは間違いだ"が導かれる
7. 事実7から、推論7: "もし仮に「このテーブルセッティングは校正刷りであるし更にそれは冬らしい」ということは事実と異なれば「設計・開発でない」ということは成り立つ"が導かれる
8. 推論6と推論7から、仮説が導かれる

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